4693 search results - page 290 / 939 » Verifying Hybrid Systems |
189
click to vote
ICSOC
2004
Springer
16 years 1 days ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
174
click to vote
IPTPS
2004
Springer
16 years 1 days ago
2004
Springer
Popular P2P file-sharing systems like Gnutella and Kazaa use unstructured network designs. These networks typically adopt flooding-based search techniques to locate files. Whil...
188
click to vote
ILP
2003
Springer
15 years 12 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
179
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
177
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...