3335 search results - page 549 / 667 » A Unified Approach to Modeling and Programming |
157
click to vote
AMDO
2008
Springer
15 years 6 months ago
2008
Springer
Recently many methods for human articulated body tracking were proposed in the literature. These techniques are often computationally intensive and cannot be used for Human-Compute...
147
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
126
click to vote
HCI
2007
15 years 6 months ago
2007
So far, culture has played a minor role in the design of software. Our experience with imbuto, a program designed for Rwandan agricultural advisors, has shown that cultural adaptat...
130
click to vote
IJCAI
2007
15 years 6 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
128
click to vote
COMMA
2006
15 years 6 months ago
2006
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...