Sciweavers

1376 search results - page 250 / 276
» A Computational Framework for Handling Motion
Sort
View
CSL
2001
Springer
15 years 10 months 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
15 years 10 months 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»
15 years 10 months 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
159
Voted
VISUALIZATION
1999
IEEE
15 years 10 months 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»
15 years 10 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