13917 search results - page 224 / 2784 » Abstraction of Probabilistic Systems |
200
click to vote
LCTRTS
2005
Springer
16 years 21 days ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
166
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...
222
click to vote
ISWC
1997
IEEE
15 years 11 months ago
1997
IEEE
We propose a practical application of wearable computing and augmented reality which enhances the game of billiards. A vision algorithm is implemented which operates in interactiv...
186
click to vote
SMA
1993
ACM
15 years 11 months ago
1993
ACM
: Parametric design is an important modeling paradigm in computer aided design. Relationships (constraints) between the degrees of freedom (DOFs) of the model, instead of the DOFs ...
172
click to vote
IPL
2010
15 years 5 months ago
2010
In this paper, we look at the time complexity of two agreement problems in networks of oblivious mobile robots, namely, at the gathering and scattering problems. Given a set of ro...