2607 search results - page 286 / 522 » On the Architecture of System Verification Environments |
185
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...
159
click to vote
CI
1998
15 years 6 months ago
1998
A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combi...
178
click to vote
ACL
2010
15 years 4 months ago
2010
This paper presents a general-purpose open source package for recognizing Textual Entailment. The system implements a collection of algorithms, providing a configurable framework ...
173
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...
207
click to vote
SUTC
2006
IEEE
16 years 20 days ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...