1418 search results - page 198 / 284 » Reconciliation of Object Interaction Models |
118
click to vote
CADE
2005
Springer
16 years 29 days ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
MIDDLEWARE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
100
Voted
NIPS
2008
15 years 2 months ago
2008
Consider data consisting of pairwise measurements, such as presence or absence of links between pairs of objects. These data arise, for instance, in the analysis of protein intera...
120
click to vote
WSCG
2003
15 years 2 months ago
2003
Simulations for training and analysis incorporating haptic feedback are becoming more popular and the sophistication of these simulations is increasing. Many systems now allow a r...
157
Voted
AAAI
1993
15 years 2 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...