266 search results - page 19 / 54 » Integrating word relationships into language models |
ESOP
2005
Springer
14 years 28 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
ACL
2012
11 years 9 months ago
2012
This paper presents a probabilistic framework that combines multiple knowledge sources for Haptic Voice Recognition (HVR), a multimodal input method designed to provide efficient...
ITNG
2010
IEEE
14 years 15 days ago
2010
IEEE
—In reservoir engineering domain experts deal with many tasks and operations, ranging from reservoir simulation to well maintenance scheduling, with the goal of maximizing oil pr...
WORDS
2005
IEEE
14 years 29 days ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
EDOC
2003
IEEE
14 years 21 days ago
2003
IEEE
A coherent description of architectures provides insight, enables communication among different stakeholders and guides complicated (business and ICT) change processes. Unfortunat...