3812 search results - page 438 / 763 » Combinations of TRAP Based Systems |
169
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
192
click to vote
BMAS
2000
IEEE
15 years 11 months ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
187
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
184
click to vote
MOBISYS
2010
ACM
15 years 9 months ago
2010
ACM
Docx2Go is a new framework to support editing of shared documents on mobile devices. Three high-level requirements influenced its design -- namely, the need to adapt content, espe...
174
click to vote
LREC
2008
15 years 8 months ago
2008
This paper discusses how Information Extraction is used to understand and manage Dialogue in the EU-funded Companions project. This will be discussed with respect to the Senior Co...