10568 search results - page 1754 / 2114 » Computer Intelligence and Formalization |
126
click to vote
FTDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
125
Voted
IUI
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, we evaluate several means of presenting route instructions to a mobile user. Starting from an abstract languageindependent description of a route segment, we show h...
139
Voted
IUI
2003
ACM
15 years 10 months ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
138
click to vote
SC
2003
ACM
15 years 10 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
134
click to vote
SIGGRAPH
2003
ACM
15 years 10 months ago
2003
ACM
While texture synthesis on surfaces has received much attention in computer graphics, the ideal solution that quickly produces high-quality textures with little user intervention ...