4341 search results - page 545 / 869 » Quantitative Model checking |
208
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
189
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
177
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
We present an approach to teach incrementally human gestures to a humanoid robot. The learning process consists of first projecting the movement data in a latent space and encodin...
178
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
173
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
As the ever-increasing gap between the speed of processor and the speed of memory has become the cause of one of primary bottlenecks of computer systems, modern architecture system...