3443 search results - page 188 / 689 » More Algebras for Determiners |
152
click to vote
CONTEXT
2007
Springer
16 years 21 days 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...
137
click to vote
DSOM
2007
Springer
16 years 21 days 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...
150
click to vote
TGC
2007
Springer
16 years 19 days 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...
171
click to vote
ANSS
2006
IEEE
16 years 18 days 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...
116
click to vote
IROS
2006
IEEE
16 years 17 days 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...