2642 search results - page 97 / 529 » Merge-by-Wire: Algorithms and System Support |
138
click to vote
KES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
107
click to vote
ICCSA
2009
Springer
15 years 8 months ago
2009
Springer
Supporting multimedia traffic is one of the major challenges for the next generation of wireless personal area networks (WPANs). Especially, the IEEE 802.15.4 WPAN standards specif...
114
Voted
FODO
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. Data storage systems are being called on to manage continuous media data types, such as digital audio and video. There is a demand by applications for \constrained-latenc...
110
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
122
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...