3318 search results - page 560 / 664 » The Weak Instance Model |
111
Voted
ICAC
2006
IEEE
15 years 6 months ago
2006
IEEE
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...
120
Voted
ICDE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web con...
111
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— We present an on-line, robust, and efficient path planner for the redundant Mitsubishi PA-10 arm with 7 degrees of freedom (DOF) in non-stationary environments. Because of the...
123
Voted
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
The superblock is a scheduling region which exposes instruction level parallelism beyond the basic block through speculative execution of instructions. In general, scheduling supe...
100
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...