Sciweavers

1585 search results - page 101 / 317
» A framework for computer-aided validation
Sort
View
ICDCSW
2003
IEEE
15 years 8 months ago
Using Service Brokers for Accessing Backend Servers for Web Applications
— Current Web servers use various API sets to access backend services. This model does not support service differentiation, overload control, caching of contents generated by bac...
Huamin Chen, Prasant Mohapatra
106
Voted
ICRA
2003
IEEE
135views Robotics» more  ICRA 2003»
15 years 8 months ago
Affect-sensitive human-robot cooperation-theory and experiments
A novel affect-sensitive human-robot cooperative framework is presented in this paper. Peripheral physiological indices are measured through wearable biofeedback sensors to detect...
Pramila Rani, Nilanjan Sarkar, Craig A. Smith
TOOLS
1998
IEEE
15 years 7 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts
AAAI
2007
15 years 5 months ago
Semantic Inference at the Lexical-Syntactic Level
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnar...
106
Voted
ACL
2004
15 years 4 months ago
A Joint Source-Channel Model for Machine Transliteration
Most foreign names are transliterated into Chinese, Japanese or Korean with approximate phonetic equivalents. The transliteration is usually achieved through intermediate phonemic...
Haizhou Li, Min Zhang, Jian Su