5477 search results - page 692 / 1096 » Contexts, Domains, and Software |
211
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
This paper reports the partial results of an exploratory study which intends to develop a methodology for a Web feed-based aggregation content service to electronic journals in In...
202
click to vote
DIMEA
2008
15 years 8 months ago
2008
The Biometric Tendency Recognition and Classification System is a software application that continuously measures a participant's physiological responses to a given image and...
162
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
156
click to vote
BILDMED
2008
15 years 8 months ago
2008
With the broad availability and increasing performance of commodity graphics processors (GPU), non-graphical applications have become an active field of research. However, leveragi...
212
Voted
HCI
2007
15 years 8 months ago
2007
As a wide variety of interaction devices, modalities has to be supported by user interface developers, model-based user interface development gets increasing attention. Especially ...