Search results for "RCC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Fengbin Qi, Xianyi Zhang, Shanshan Wang, Xingquan Mao	RCC: A New Programming Language for Reconfigurable Computing.	HPCC	2009	DBLP DOI BibTeX RDF
80	Paul Beame, Trinh Huynh, Toniann Pitassi	Hardness amplification in proof complexity.	STOC	2010	DBLP DOI BibTeX RDF	communication complexity, proof complexity
80	Priti Chandra, Arun K. Pujari	Minimality and Convexity Properties in Spatial CSPs.	ICTAI	2005	DBLP DOI BibTeX RDF
80	Alfonso Gerevini, Jochen Renz	Combining Topological and Qualitative Size Constraints for Spatial Reasoning.	CP	1998	DBLP DOI BibTeX RDF
76	Gerard Ligozat	Simple Models for Simple Calculi.	COSIT	1999	DBLP DOI BibTeX RDF	spatial constraint networks, RCC calculi, composition tables, scenario, finite models
74	Tiansi Dong	A Comment on RCC: From RCC to RCC++.	J. Philos. Log.	2008	DBLP DOI BibTeX RDF
73	David Thau, Shawn Bowers, Bertram Ludäscher	Merging taxonomies under RCC-5 algebraic articulations.	ONISW	2008	DBLP DOI BibTeX RDF	automated deduction (reasoning), taxonomies, merging
64	Yonina C. Eldar, Amir Beck, Marc Teboulle	A Minimax Chebyshev Estimator for Bounded Error Estimation.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
64	Takeshi Abekawa, Manabu Okumura	Corpus-Based Analysis of Japanese Relative Clause Constructions.	IJCNLP	2005	DBLP DOI BibTeX RDF
61	Marco Aiello 0001	Topo-distance: Measuring the Difference between Spatial Patterns.	JELIA	2000	DBLP DOI BibTeX RDF	RCC, model comparison games, qualitative spatial reasoning, mereotopology
60	Zhenji Gao, Lun Wu, Yong Gao 0003	Topological Relations Between Vague Objects in Discrete Space Based on Rough Model.	ICFIE	2007	DBLP DOI BibTeX RDF	Rough Model, Discrete Space, RCC-D-8, Vague Objects, Topological Relations
60	Rolf Grütter, Bettina Bauer-Messmer	Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	Region Connection Calculus (RCC), Knowledge Representation System, Environmental Database, Semantic Web, Web Ontology Language (OWL), Spatial Reasoning
57	William D. Smith, Austars R. Schnore	Towards an RCC-Based Accelerator for Computational Fluid Dynamics Applications.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	re-configurable computing applications, computational fluid dynamics
57	Mehmet Giritli	Who Can Connect in RCC?	KI	2003	DBLP DOI BibTeX RDF
53	Ahed Alboody, Florence Sèdes, Jordi Inglada	Multi-level Topological Relations of the Spatial Reasoning System RCC-8.	DBKDA	2009	DBLP DOI BibTeX RDF	Spatial Reasoning System RCC-8, Queries, Topological Relations, Geospatial DataBase
49	Stella Giannakopoulou, Charalampos Nikolaou, Manolis Koubarakis	A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants.	AAAI	2014	DBLP DOI BibTeX RDF
48	Thomas J. Fuchs, Peter J. Wild, Holger Moch, Joachim M. Buhmann	Computational Pathology Analysis of Tissue Microarrays Predicts Survival of Renal Clear Cell Carcinoma Patients.	MICCAI (2)	2008	DBLP DOI BibTeX RDF
48	Ashley W. Stroupe, Avi Okon, Matthew L. Robinson, Terry Huntsberger, Hrand Aghazarian, Eric T. Baumgartner	Sustainable cooperative robotic technologies for human and robotic outpost infrastructure construction and maintenance.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Keyword Multi-robot systems, Cooperative transport, Robotic construction, Space robotics
48	Gretchen Beck	Residential computing consultants: help center after hours and onsite.	SIGUCCS	2004	DBLP DOI BibTeX RDF	onsite assistance, service models, student consultants
48	Anthony J. Roy, John G. Stell	A Qualitative Account of Discrete Space.	GIScience	2002	DBLP DOI BibTeX RDF
41	Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer	Improving an RCC-Derived Geospatial Approximation by OWL Axioms.	ISWC	2008	DBLP DOI BibTeX RDF	Geospatial approximation, Region Connection Calculus, Web Ontology Language, hypothesis testing, consistency checking
41	Ron Sass, William V. Kritikos, Andrew G. Schmidt, Srinivas Beeravolu, Parag Beeraka	Reconfigurable Computing Cluster (RCC) Project: Investigating the Feasibility of FPGA-Based Petascale Computing.	FCCM	2007	DBLP DOI BibTeX RDF
32	Ming-Yuen Chan, Huamin Qu, Ka-Kei Chung, Wai-Ho Mak, Yingcai Wu	Relation-Aware Volume Exploration Pipeline.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
32	Rolf Grütter, Bettina Bauer-Messmer, Martin Hägeli	Extending an ontology-based search with a formalism for spatial reasoning.	SAC	2008	DBLP DOI BibTeX RDF	national spatial data infrastructure, ontology-based search, region connection calculus, spatioterminological reasoning
32	Thomas J. Fuchs, Tilman Lange, Peter J. Wild, Holger Moch, Joachim M. Buhmann	Weakly Supervised Cell Nuclei Detection and Segmentation on Tissue Microarrays of Renal Clear Cell Carcinoma.	DAGM-Symposium	2008	DBLP DOI BibTeX RDF
32	Steven Schockaert, Martine De Cock	Reasoning about vague topological information.	CIKM	2007	DBLP DOI BibTeX RDF
32	Shangping Ren, Limin Shen, Jeffrey J. P. Tsai	Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems.	SUTC (1)	2006	DBLP DOI BibTeX RDF
32	Andy Ju An Wang	Information security models and metrics.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	policy and mechanisms, modeling, verification, measurement, validation, information security
32	Takayuki Matsuno, Toshio Fukuda, Yasuhisa Hasegawa	Insertion of Long Peg into Tandem Shallow Hole Using Search Trajectory Generation without Force Feedback.	ICRA	2004	DBLP DOI BibTeX RDF
32	David F. Ferraiolo, Ramaswamy Chandramouli, Gail-Joon Ahn, Serban I. Gavrila	The role control center: features and case studies.	SACMAT	2003	DBLP DOI BibTeX RDF	administrative roles, role graph, separation of duty, role hierarchy, authorization management
32	Cormac Flanagan, Stephen N. Freund	Detecting race conditions in large programs.	PASTE	2001	DBLP DOI BibTeX RDF	Java
32	Irène Abi-Zeid, Qiang Yang 0001, Luc Lamontagne	Is CBR Applicable to the Coordination of Search and Rescue Operations? A Feasibility Study.	ICCBR	1999	DBLP DOI BibTeX RDF
32	Qiang Yang 0001, Irène Abi-Zeid, Luc Lamontagne	An Agent for Intelligent Situation Assessment.	AIMSA	1998	DBLP DOI BibTeX RDF
25	Eliseo Clementini, Anthony G. Cohn 0001	Extension of RCC*-9 to Complex and Three-Dimensional Features and Its Reasoning System.	ISPRS Int. J. Geo Inf.	2024	DBLP DOI BibTeX RDF
25	Jiao Zhang 0002, Xiaolong Zhong, Zirui Wan, Yu Tian, Tian Pan 0001, Tao Huang 0005	RCC: Enabling Receiver-Driven RDMA Congestion Control With Congestion Divide-and-Conquer in Datacenter Networks.	IEEE/ACM Trans. Netw.	2023	DBLP DOI BibTeX RDF
25	Anthony G. Cohn 0001	An Evaluation of ChatGPT-4's Qualitative Spatial Reasoning Capabilities in RCC-8.	CoRR	2023	DBLP DOI BibTeX RDF
25	Muhammad Ulum Burhani, Jayandi Soriasi Panggabean, Trio Adiono, Infall Syafalni, Nana Sutisna	RCC-INC Hybrid MPPT.	ICEEI	2023	DBLP DOI BibTeX RDF
25	Mohammad Shakerian, Mohammad Sadra Rajabi, Mohammad Tajik, Hosein Taghaddos	Hybrid Simulation-based Resource Planning and Constructability Analysis of RCC Pavement Projects.	CoRR	2022	DBLP DOI BibTeX RDF
25	Mohammad Esmaeilpour, Nourhene Chaalia, Adel Abusitta 0001, François-Xavier Devailly, Wissem Maazoun, Patrick Cardinal	RCC-GAN: Regularized Compound Conditional GAN for Large-Scale Tabular Data Synthesis.	CoRR	2022	DBLP DOI BibTeX RDF
25	Haitao Cheng, Peng Li 0011, Ruchuan Wang 0001, He Xu	Dynamic spatio-temporal logic based on RCC-8.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
25	Suyash Gupta, Jelle Hellings, Mohammad Sadoghi	RCC: Resilient Concurrent Consensus for High-Throughput Secure Transaction Processing.	ICDE	2021	DBLP DOI BibTeX RDF
25	Yuhong Zhang, Jingtao Sun, Chen Ouyang, Mingkang Chen, Xinyao Wang, Qiang Wang 0021	RCC: A Distributed Data Streaming Software Library for Robot-Cloud Platforms.	PerCom Workshops	2021	DBLP DOI BibTeX RDF
25	Jurgis Skilters, Liga Zarina, Egle Zilinskaite-Sinkuniene, Nora Berzina, Linda Apse	Topologic and Geometric Structure of Spatial Relations in Latvian: an Experimental Analysis of RCC.	Balt. J. Mod. Comput.	2020	DBLP DOI BibTeX RDF
25	Egle Zilinskaite-Sinkuniene, Jurgis Skilters, Liga Zarina	Expressing Distance in the Baltic Languages: Remarks on the Use of an Extended RCC.	Balt. J. Mod. Comput.	2020	DBLP DOI BibTeX RDF
25	Zhe Li, Chunhua Sun, Chunli Liu, Xiayu Chen, Meng Wang 0001, Yezheng Liu 0001	RCC-Dual-GAN: An Efficient Approach for Outlier Detection with Few Identified Anomalies.	CoRR	2020	DBLP BibTeX RDF
25	Stefano Bottero, Giovanni Gerardo Muscolo, Carlo Ferraresi	A New Soft RCC Device with Pneumatic Regulation.	Robotics	2020	DBLP DOI BibTeX RDF
25	Radhia Garraoui, Mouna Ben Hamed, Lassaâd Sbita	MPPT Algorithms for PV System based on SM adaptive-FL and RCC method: A comparative study.	SSD	2020	DBLP DOI BibTeX RDF
25	Sushil Kumar Trisal, Ajay Kaul	K-RCC: A novel approach to reduce the computational complexity of KNN algorithm for detecting human behavior on social networks.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
25	Egle Zilinskaite-Sinkuniene, Jurgis Skilters, Liga Zarina	Containment and support in Baltic Languages: Overview, experimental evidence, and an extended RCC as applied to Latvian and Lithuania.	Balt. J. Mod. Comput.	2019	DBLP DOI BibTeX RDF
25	Jian Gong, Huan Wang, Yiduo Guo	An Angle Estimation Method for Monostatic MIMO Radar Based on RCC-FLOM Algorithm.	Wirel. Commun. Mob. Comput.	2019	DBLP DOI BibTeX RDF
25		RCC.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
25	Chengcheng Fan, Jianli Zheng, Yongyong Yang, Boyu Si	Design of respiratory parameter estimator based on linear RCC model.	ICSAI	2017	DBLP DOI BibTeX RDF
25	Cristina Cornelio, Vijay A. Saraswat	Expressing Probabilistic Graphical Models in RCC.	AAAI Workshops	2017	DBLP BibTeX RDF
25	Xiaorong Zhao, Quan Yu, Ju Wang	RCC的可数核心模型 (On Countable Core Models of RCC).	计算机科学	2016	DBLP DOI BibTeX RDF
25	Manel Hammami, Gabriele Grandi, Massimo Rudan	An improved MPPT algorithm based on hybrid RCC scheme for single-phase PV systems.	IECON	2016	DBLP DOI BibTeX RDF
25	Tarek Boutabba, Saïd Drid, Larbi Chrifi-Alaoui, Mohammed Ouriagli, Mohamed E. H. Benbouzid	dSPACE real-time implementation of maximum power point tracking based on ripple correlation control (RCC) structure for photovoltaic system.	ICSC	2016	DBLP DOI BibTeX RDF
25	Diedrich Wolter, Arne Kreutzmann	Analogical Representation of RCC-8 for Neighborhood-Based Qualitative Spatial Reasoning.	KI	2015	DBLP DOI BibTeX RDF
25	Charalampos Nikolaou, Manolis Koubarakis	Fast Consistency Checking of Very Large Real-World RCC-8 Constraint Networks Using Graph Partitioning.	AAAI	2014	DBLP DOI BibTeX RDF
25	Eliseo Clementini, Anthony G. Cohn 0001	RCC*-9 and CBM.	GIScience	2014	DBLP DOI BibTeX RDF
25	Stefano Borgo	RCC and the Theory of Simple Regions in ℝ2.	COSIT	2013	DBLP DOI BibTeX RDF
25	Michael Sioutis, Manolis Koubarakis	Consistency of Chordal RCC-8 Networks.	ICTAI	2012	DBLP DOI BibTeX RDF
25	Julia Albath, Jennifer L. Leopold, Chaman L. Sabharwal, Kenneth Perry	Efficient Reasoning with RCC-3D.	KSEM	2010	DBLP DOI BibTeX RDF
25	Julia Albath, Jennifer L. Leopold, Chaman L. Sabharwal, Anne M. Maglia	RCC-3D: Qualitative Spatial Reasoning in 3D.	CAINE	2010	DBLP BibTeX RDF
25	Xiao-fei Zhang, Shouyi Li, Yaolong Chen, Jun-rui Chai	The development and verification of relocating mesh method for the computation of temperature field of RCC dam.	Adv. Eng. Softw.	2009	DBLP DOI BibTeX RDF
25	David Thau, Shawn Bowers, Bertram Ludäscher	Merging Taxonomies under RCC-5 Algebraic Articulations.	J. Comput. Sci. Eng.	2009	DBLP DOI BibTeX RDF
25	Markus Stocker, Evren Sirin	PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine.	OWLED	2009	DBLP BibTeX RDF
25	Weiming Liu 0001, Sanjiang Li, Jochen Renz	Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity.	IJCAI	2009	DBLP BibTeX RDF
25		RCC.	Encyclopedia of GIS	2008	DBLP DOI BibTeX RDF
25	Shouyi Li, Jinkai Zhang, Ting Wang	Effect of Pouring Temperature on Temperature Stress of RCC Gravity Dam.	ICNC (2)	2008	DBLP DOI BibTeX RDF
25	Rolf Grütter, Bettina Bauer-Messmer	Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data.	OWLED	2007	DBLP BibTeX RDF
25	Mourad Karouia, Jacques M. Hervé	Non-overconstrained 3-dof spherical parallel manipulators of type: 3-RCC, 3-CCR, 3-CRC.	Robotica	2006	DBLP DOI BibTeX RDF
25	Massimo Callegari, Matteo-Claudio Palpacelli	Kinematics and optimization of the translating 3-CCR/3-RCC parallel mechanisms.	ARK	2006	DBLP DOI BibTeX RDF
25	Sanjiang Li, Mingsheng Ying, Yongming Li 0001	On countable RCC models.	Fundam. Informaticae	2005	DBLP BibTeX RDF
25	HongWei Xie, Yaolong Chen	Determination of the type and thickness for impervious layer in RCC dam.	Adv. Eng. Softw.	2005	DBLP DOI BibTeX RDF
25	Young-Bong Bang, Kyung-min Lee, Juho Kook, Wonseok Lee, In-su Kim	Micro parts assembly system with micro gripper and RCC unit.	IEEE Trans. Robotics	2005	DBLP DOI BibTeX RDF
25	A. Vyas, R. Maloo, Phalguni Gupta	Cost-optimal Gaussian Elimination Algorithm on RCC-FULL.	Parallel Algorithms Appl.	2003	DBLP DOI BibTeX RDF
25	William D. Smith, Austars R. Schnore	Towards an RCC-Based Accelerator for Computational Fluid Dynamics Applications.	Engineering of Reconfigurable Systems and Algorithms	2003	DBLP BibTeX RDF
25	Pierre Grenon	Tucking RCC in Cyc's Ontological Bed.	IJCAI	2003	DBLP BibTeX RDF
25	Alfonso Gerevini, Bernhard Nebel	Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity.	ECAI	2002	DBLP BibTeX RDF
25	Dirk Abendroth	Service Separation and QoS in ATM Networks: The RCC+ Multiplexer.	Kommunikation in Verteilten Systemen	2001	DBLP DOI BibTeX RDF
25	Frank Wolter, Michael Zakharyaschev	Spatial Reasoning in RCC-8 with Boolean Region Terms.	ECAI	2000	DBLP BibTeX RDF
25	Frank Wolter, Michael Zakharyaschev	Spatio-temporal representation and reasoning based on RCC-8.	KR	2000	DBLP BibTeX RDF
25	Sangwan Joo, Fumio Miyazaki	Development of variable RCC and its application.	IROS	1998	DBLP DOI BibTeX RDF
25	Brandon Bennett, Amar Isli, Anthony G. Cohn 0001	A System Handling RCC-8 Queries on 2D Regions Representable in the Closure algebra of Half-Planes.	IEA/AIE (Vol. 1)	1998	DBLP DOI BibTeX RDF
25	Sangwan Joo, Naotaka Yoshihara, Yasuhiro Masutani, Atsushi Nishikawa, Fumio Miyazaki	New Design Methodology for RCC Using Elastomer Shear Pads.	J. Robotics Mechatronics	1997	DBLP DOI BibTeX RDF
25	Mounir Hamdi, Richard W. Hall	RCC-Full: An Effective Network for Parallel Computations.	J. Parallel Distributed Comput.	1997	DBLP DOI BibTeX RDF
25	Peter Jonsson, Thomas Drakengren	A Complete Classification of Tractability in RCC-5.	J. Artif. Intell. Res.	1997	DBLP DOI BibTeX RDF
25	Peter Jonsson, Thomas Drakengren	A Complete Classification of Tractability in RCC-5	CoRR	1997	DBLP BibTeX RDF
25	Mark B. Ring	RCC Cannot Compute Certain FSA, Even with Arbitrary Transfer Functions.	NIPS	1997	DBLP BibTeX RDF
25	Sangwan Joo, Hiroyuki Waki, Fumio Miyazaki	On the mechanics of elastomer shear pads for remote center compliance (RCC).	ICRA	1996	DBLP DOI BibTeX RDF
25	Whee Kuk Kim, Jun-Yong Lee, Byung-Ju Yi	RCC characteristics of planar/spherical three degree of freedom parallel mechanisms with joint compliances.	IROS	1996	DBLP DOI BibTeX RDF
25	Bernd Becker 0001, Uwe Sparmann	A uniform test approach for RCC-adders.	Fundam. Informaticae	1991	DBLP BibTeX RDF
25	H. Kazerooni	Direct-drive active compliant end effector (active RCC).	IEEE J. Robotics Autom.	1988	DBLP DOI BibTeX RDF
25	Haruhiko Asada, Yoshiki Kakumoto	The dynamic RCC hand for high-speed assembly.	ICRA	1988	DBLP DOI BibTeX RDF
25	Bernd Becker 0001, Uwe Sparmann	Regular Structures and Testing: RCC-Adders.	AWOC	1988	DBLP DOI BibTeX RDF
25	H. Kazerooni, J. Guo	Direct-drive, active compliant end-effector (active RCC).	ICRA	1987	DBLP DOI BibTeX RDF
25	R. B. E. Napper, Richard N. Fisher	RCC - A User-Extensible Systems Implementation Language.	Comput. J.	1980	DBLP DOI BibTeX RDF
16	Michael Winter 0001, Torsten Hahmann, Michael Gruninger	On the Skeleton of Stonian p-Ortholattices.	RelMiCS	2009	DBLP DOI BibTeX RDF
16	Ali M. Bazzi, Sami H. Karaki	Simulation of a new maximum power point tracking technique for multiple photovoltaic arrays.	EIT	2008	DBLP DOI BibTeX RDF
16	Seyed Morteza Babamir, Faezeh Sadat Babamir	Behavioral Specification of Real-Time Requirements.	APSEC	2008	DBLP DOI BibTeX RDF