4211 search results - page 368 / 843 » Types as Abstract Interpretations |
192
click to vote
SG
2007
Springer
16 years 27 days ago
2007
Springer
This research proposes 3D graphical agents in the role of virtual presenters with a new type of functionality – the capability to process and respond to visual attention of users...
190
click to vote
PRDC
2006
IEEE
16 years 24 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
194
click to vote
TABLETOP
2006
IEEE
16 years 24 days ago
2006
IEEE
Interactive tables can enhance small-group colocated collaborative work in many domains. One application enabled by this new technology is copresent, collaborative search for digi...
176
Voted
ACMICEC
2006
ACM
16 years 23 days ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...
187
click to vote
SIGCSE
2006
ACM
16 years 22 days ago
2006
ACM
New accreditation requirements focus on education as a “continuous improvement process.” The most important part of such a process is that information gets fed back into the s...