3863 search results - page 644 / 773 » Function in Device Representation |
124
click to vote
ARITH
2005
IEEE
15 years 10 months ago
2005
IEEE
We introduce an inheritance property and related table lookup structures applicable to simplified evaluation of the modular operations “multiplicative inverse”, “discrete l...
152
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
181
Voted
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Quality surface meshes for molecular models are desirable in the studies of protein shapes and functionalities. However, there is still no robust software that is capable to gener...
163
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
138
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we present our work toward the creation of a multimodal expressive Embodied Conversational Agent (ECA). Our agent, called Greta, exhibits nonverbal behaviors synchro...