3443 search results - page 188 / 689 » More Algebras for Determiners |
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
84
Voted
DSOM
2007
Springer
15 years 6 months ago
2007
Springer
Interoperability testing is an inherently distributed task. It connects different implementations together and determines if they interact according to their specifications, prov...
89
Voted
TGC
2007
Springer
15 years 6 months ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
107
click to vote
ANSS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper Hidden Markov Model algorithms are considered as a method for computing conditional properties of continuous-time stochastic simulation models. The goal is to develo...
66
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract – Current approaches to establish or improve precision of registration and execution in (surgical) robotics, especially milling applications, mostly aim at determining a...