428 search results - page 45 / 86 » Completeness of a Fact Extractor |
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
HPDC
2007
IEEE
15 years 6 months ago
2007
IEEE
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
User-defined preferences allow personalized ranking of query results. A user provides a declarative specification of his/her preferences, and the system is expected to use that ...
ECOWS
2007
Springer
15 years 6 months ago
2007
Springer
For improved flexibility and concurrent usage existing transaction management models for Web services relax the isolation property of Web service-based transactions. Correctness o...
104
click to vote
CCECE
2006
IEEE
15 years 6 months ago
2006
IEEE
This work is focused on the motion control of an underactuated brachiation robot with 3 links. We present the modeling of the dynamics of the robot and introduce the application o...