3061 search results - page 116 / 613 » integration 2006 |
178
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Predicting visual search behavior in human-computer interaction is a challenging problem. It is important for predictive modeling of human-computer interaction to integrate the vi...
207
click to vote
KBSE
2006
IEEE
16 years 14 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
168
click to vote
PPPJ
2006
ACM
16 years 12 days ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
194
click to vote
ENTCS
2006
15 years 6 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
157
click to vote
GIS
2006
ACM
15 years 6 months ago
2006
ACM
Integration of two road maps is finding a matching between pairs of objects that represent, in the maps, the same realworld road. Several algorithms were proposed in the past for ...