Sciweavers

3009 search results - page 257 / 602
» The Expressive Rate of Constraints
Sort
View
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
16 years 29 days ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning
ICRA
2007
IEEE
119views Robotics» more  ICRA 2007»
16 years 29 days ago
Progressive Clamping
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
Daniel Raunhardt, Ronan Boulic
ISOLA
2007
Springer
16 years 24 days ago
Using Analogy to Promote Conceptual Modeling Reuse
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
ACMICEC
2005
ACM
151views ECommerce» more  ACMICEC 2005»
16 years 6 days ago
Product knowledge reasoning: a DL-based approach
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
Nizamuddin Channa, Shanping Li, Xiangjun Fu
AI
2005
Springer
16 years 6 days ago
A Supervised Learning Approach to Acronym Identification
This paper addresses the task of finding acronym-definition pairs in text. Most of the previous work on the topic is about systems that involve manually generated rules or regular ...
David Nadeau, Peter D. Turney