4460 search results - page 197 / 892 » Formal methods for interactive systems |
142
click to vote
WEBI
2005
Springer
15 years 9 months ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
124
click to vote
DAC
1995
ACM
15 years 7 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
133
click to vote
TKDE
2010
15 years 2 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
177
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
140
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...