Sciweavers

2272 search results - page 163 / 455
» Capture Complexity by Partition
Sort
View
121
Voted
AI
2002
Springer
15 years 3 months ago
Coherence in finite argument systems
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...
Paul E. Dunne, Trevor J. M. Bench-Capon
CVPR
2000
IEEE
16 years 5 months ago
Shape-Based 3D Surface Correspondence Using Geodesics and Local Geometry
This paper describes a new method for determining correspondence between points on pairs of surfaces based on shape using a combination of geodesic distance and surface curvature....
Yongmei Wang, Bradley S. Peterson, Lawrence H. Sta...
114
Voted
ICCAD
2005
IEEE
105views Hardware» more  ICCAD 2005»
16 years 5 days ago
Weighted control scheduling
Abstract — This paper describes a practical technique for the optimal scheduling of control dominated systems minimizing the weighted average latency over all control branches. S...
Aravind Vijayakumar, Forrest Brewer
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
15 years 9 months ago
A Formal Model for Integrating Multiple Views
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
Juliana Küster Filipe Bowles, Behzad Bordbar
118
Voted
IROS
2007
IEEE
121views Robotics» more  IROS 2007»
15 years 9 months ago
Reactive deformation roadmaps: motion planning of multiple robots in dynamic environments
— We present a novel algorithm for motion planning of multiple robots amongst dynamic obstacles. Our approach is based on a new roadmap representation that uses deformable links ...
Russell Gayle, Avneesh Sud, Ming C. Lin, Dinesh Ma...