Sciweavers

3053 search results - page 569 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
ICRA
1999
IEEE
186views Robotics» more  ICRA 1999»
15 years 2 months ago
Grasp Analysis as Linear Matrix Inequality Problems
Three fundamental problems in the study of grasping and dextrous manipulation with multifingered robotic hands are as follows. a) Given a robotic hand and a grasp characterized by ...
Li Han, Jeffrey C. Trinkle, Zexiang Li
PODC
1990
ACM
15 years 1 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
CGI
2009
IEEE
15 years 1 months ago
Easy integral surfaces: a fast, quad-based stream and path surface algorithm
Despite the clear benefits that stream and path surfaces bring when visualizing 3D vector fields, their use in both industry and for research has not proliferated. This is due, in...
Tony McLoughlin, Robert S. Laramee, Eugene Zhang
AIRS
2006
Springer
15 years 1 months ago
A Novel Ant-Based Clustering Approach for Document Clustering
Recently, much research has been proposed using nature inspired algorithms to perform complex machine learning tasks. Ant Colony Optimization (ACO) is one such algorithm based on s...
Yulan He, Siu Cheung Hui, Yongxiang Sim
IDMS
2000
Springer
138views Multimedia» more  IDMS 2000»
15 years 1 months ago
Middleware Support for Media Streaming Establishment Driven by User-Oriented QoS Requirements
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
Cristian Hesselman, Ing Widya, Aart van Halteren, ...