5054 search results - page 858 / 1011 » How designers design and program interactive behaviors |
162
click to vote
DSVIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
169
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
146
click to vote
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
Ambience and immersive technological environments allow us to explore some basics of human pragmatics that lie beyond linguistics, intentionality and the subject-agency perspectiv...
168
click to vote
AAAI
2000
15 years 7 months ago
2000
Although much has been written about various information integration technologies, little has been said regarding how to combine these technologies together to build an entire &qu...
192
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, the automatic customization of an agent-based medical system is approached by means of ontologies. The particular case of Home Care studied and developed in the EU K...