Sciweavers

3717 search results - page 154 / 744
» Representing Multiple Theories
Sort
View
139
Voted
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
15 years 9 months ago
A New Formalism to Characterize Contact States Involving Articulated Polyhedral Objects
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
Ernesto Staffetti, Wim Meeussen, Jing Xiao
127
Voted
ESWS
2005
Springer
15 years 9 months ago
Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
Patryk Burek, Rafal Grabos
123
Voted
HICSS
2003
IEEE
167views Biometrics» more  HICSS 2003»
15 years 9 months ago
Discovering Group Interaction Patterns in a Teachers Professional Community
Managers and group leaders of a community may not have enough information to help them direct the community development. In this paper, we adopt social network analysis, graph the...
Fu-ren Lin, Chun-Hung Chen, Kuo-Lung Tsai
102
Voted
DSD
2002
IEEE
95views Hardware» more  DSD 2002»
15 years 8 months ago
Decision Diagram Optimization Using Copy Properties
In this paper, we propose an approach to the reduction of sizes of Multi-Terminal Binary Decision Diagrams (MTBDDs) [3] by using the copy properties of discrete functions. The und...
Dragan Jankovic, Radomir S. Stankovic, Rolf Drechs...
121
Voted
ECAI
2008
Springer
15 years 5 months ago
Reasoning about Dynamic Depth Profiles
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
Mikhail Soutchanski, Paulo Santos