Sciweavers

11436 search results - page 454 / 2288
» Modeling Real Reasoning
Sort
View
ICMI
2009
Springer
94views Biometrics» more  ICMI 2009»
15 years 11 months ago
Modeling culturally authentic style shifting with virtual peers
: We report on a new kind of culturally-authentic embodied conversational agent more in line with the ways that culture and ethnicity function in the real world. On the basis of th...
Justine Cassell, Kathleen Geraghty, Berto Gonzalez...
3DPVT
2004
IEEE
104views Visualization» more  3DPVT 2004»
15 years 9 months ago
Interactive Modeling from Dense Color and Sparse Depth
We are developing a system for interactive modeling of real world scenes. The acquisition device consists of a video camera enhanced with an attached laser system. As the operator...
Voicu Popescu, Elisha Sacks, Gleb Bahmutov
WSC
2007
15 years 7 months ago
Enabling industrial scale simulation/emulation models
OLE Process Control (OPC) is an industry standard that facilitates the communication between PCs and Programmable Logic Controllers (PLC). This communication allows for the testin...
Michael Johnstone, Douglas C. Creighton, Saeid Nah...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 10 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
145
Voted
IAT
2005
IEEE
15 years 10 months ago
A Flexible BDI Architecture Supporting Extensibility
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
Alexander Pokahr, Lars Braubach, Winfried Lamersdo...