Sciweavers

16666 search results - page 358 / 3334
» Descriptive and Computational Complexity
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
16 years 1 days ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
SPIESR
1998
190views Database» more  SPIESR 1998»
15 years 8 months ago
NeTra-V: Toward an Object-Based Video Representation
We present here a prototype video analysis and retrieval system, called NeTra-V, that is being developed to build an object-based video representation for functionalities such as s...
Yining Deng, Debargha Mukherjee, B. S. Manjunath
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 5 months ago
Understanding and executing instructions for everyday manipulation tasks from the World Wide Web
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
Moritz Tenorth, Daniel Nyga, Michael Beetz
DLOG
2009
15 years 4 months ago
A Matter of Principles: Towards the Largest DLP Possible
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
Markus Krötzsch, Sebastian Rudolph
VIS
2003
IEEE
234views Visualization» more  VIS 2003»
16 years 8 months ago
Saddle Connectors - An Approach to Visualizing the Topological Skeleton of Complex 3D Vector Fields
One of the reasons that topological methods have a limited popularity for the visualization of complex 3D flow fields is the fact that such topological structures contain a number...
Hans-Christian Hege, Hans-Peter Seidel, Holger The...