4199 search results - page 239 / 840 » Generalizing Data in Natural Language |
176
click to vote
ICALP
2005
Springer
16 years 18 hour ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
166
click to vote
ICMI
2004
Springer
15 years 12 months ago
2004
Springer
A novel interface system for accessing geospatial data (GeoMIP) has been developed that realizes a user-centered multimodal speech/gesture interface for addressing some of the cri...
179
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
The explosive growth in the biomedical literature has made it difficult for researchers to keep up with advancements, even in their own narrow specializations. In addition, this c...
191
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
166
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...