8177 search results - page 1326 / 1636 » Detecting System Emulators |
166
click to vote
IVA
2005
Springer
16 years 5 days ago
2005
Springer
Human to virtual human interaction is the next frontier in interface design, particularly for tasks that are social or collaborative in nature. Several embodied interface agents ha...
195
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
167
click to vote
WLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Combinatorial Auctions are an attractive application of intelligent agents; their applications are countless and are shown to provide good revenues. On the other hand, on...
174
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
211
click to vote
AMTA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Existing automated MT evaluation methods often require expert human translations. These are produced for every language pair evaluated and, due to this expense, subsequen...