3379 search results - page 35 / 676 » Combinators for Interaction Nets |
ISWC
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe the Conference Assistant, a prototype mobile, context-aware application that assists conference attendees. We discuss the strong relationship between context-awareness...
CVPR
2009
IEEE
14 years 1 months ago
2009
IEEE
The explosion of image data on the Internet has the potential to foster more sophisticated and robust models and algorithms to index, retrieve, organize and interact with images a...
APN
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
CSREAEEE
2006
13 years 11 months ago
2006
A world of ever growing competition not only forces enterprises to continuously optimise their private business processes but also to integrate their business processes with their ...
BMCBI
2010
13 years 9 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...