610 search results - page 94 / 122 » Natural development of ubiquitous interfaces |
120
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
132
click to vote
RECSYS
2009
ACM
15 years 8 months ago
2009
ACM
Current conversational recommender systems are unable to offer guarantees on the quality of their recommendations due to a lack of principled user utility models. We develop an ap...
128
click to vote
GCC
2007
Springer
15 years 8 months ago
2007
Springer
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...
115
click to vote
ISADS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper shows how modern structuring techniques can be employed in integrating complex web applications such as Travel Agency systems. The main challenges the developers of suc...
AVI
2008
15 years 4 months ago
2008
Uncertainty in data occurs in domains ranging from natural science to medicine to computer science. By developing ways to include uncertainty in our information visualizations we ...