5863 search results - page 746 / 1173 » On Model-Checking of P Systems |
203
click to vote
EUC
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present a system, called U-interactive, that provides spontaneous interactions between human and surrounding objects in heterogenous ubiquitous computing environme...
222
click to vote
ANLP
1992
15 years 8 months ago
1992
While complete understanding of arbitrary input text remains in the future, it is currently possible to construct natural language processing systems that provide a partial unders...
209
click to vote
SCL
2008
15 years 6 months ago
2008
In this paper we consider discrete-time nonlinear systems that are affected, possibly simultaneously, by parametric uncertainties and disturbance inputs. The min-max Model Predict...
209
Voted
AAMAS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
228
Voted
ICC
2011
IEEE
14 years 6 months ago
2011
IEEE
—Anonymity is one of the main motivations for conducting denial-of-service attacks. Currently, there is no mechanism to either identify the true source of an IP packet or to prov...