Sciweavers

25 search results - page 5 / 5
» Minimal Spanning Set for Coverage Testing of Interactive Sys...
Sort
View
DEXAW
1998
IEEE
96views Database» more  DEXAW 1998»
13 years 9 months ago
Verification of Multiple Agent Knowledge-Based Systems
Thepurposeof this paperis to extendverificationtests to systemswith multiple autonomousagent knowledge bases.Usinga classic approachto verification, this paperfocuseson tests conc...
Daniel E. O'Leary
ICASSP
2008
IEEE
13 years 11 months ago
Automatic classification of question turns in spontaneous speech using lexical and prosodic evidence
The ability to identify speech acts reliably is desirable in any spoken language system that interacts with humans. Minimally, such a system should be capable of distinguishing be...
Sankaranarayanan Ananthakrishnan, Prasanta Ghosh, ...
DAGSTUHL
1997
13 years 6 months ago
Fast and Accurate Collision Detection for Virtual Environments
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
Ming C. Lin
CII
2006
324views more  CII 2006»
13 years 4 months ago
Computer aided parametric design for 3D tire mold production
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
Chih-Hsing Chu, Mu-Chi Song, Vincent C. S. Luo
SIGITE
2004
ACM
13 years 10 months ago
The use of MUPPETS in an introductory java programming course
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
Kevin J. Bierre, Andrew M. Phelps