Sciweavers

1376 search results - page 250 / 276
» A Computational Framework for Handling Motion
Sort
View
CSL
2001
Springer
14 years 10 days ago
A Logic for Approximate First-Order Reasoning
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
Frédéric Koriche
RTSS
2000
IEEE
14 years 6 days ago
An Incremental Approach to Scheduling during Overloads in Real-Time Systems
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
Pedro Mejía-Alvarez, Rami G. Melhem, Daniel...
ICRA
1999
IEEE
96views Robotics» more  ICRA 1999»
14 years 4 days ago
Interactive Manipulation of Articulated Objects with Geometry Awareness
Techniques for interactive 3D manipulation of articulated objects in cluttered environments should be geometricallyaware, going beyond basic inverse or forward kinematics to allow...
Min-Hyung Choi, James F. Cremer
VISUALIZATION
1999
IEEE
14 years 3 days ago
New Quadric Metric for Simplifying Meshes with Appearance Attributes
Complex triangle meshes arise naturally in many areas of computer graphics and visualization. Previous work has shown that a quadric error metric allows fast and accurate geometri...
Hugues Hoppe
VLDB
1992
ACM
101views Database» more  VLDB 1992»
13 years 12 months ago
Proclamation-Based Model for Cooperating Transactions
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
H. V. Jagadish, Oded Shmueli