1332 search results - page 140 / 267 » A generative programming approach to developing pervasive co... |
128
Voted
SIGGRAPH
1998
ACM
15 years 6 months ago
1998
ACM
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
110
Voted
HRI
2006
ACM
15 years 8 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...
144
Voted
JSW
2007
15 years 2 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
125
Voted
ITP
2010
15 years 1 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
125
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...