883 search results - page 60 / 177 » The Semantics of Verilog Using Transition System Combinators |
MMM
2010
Springer
14 years 6 months ago
2010
Springer
In this paper, we introduce and evaluate two novel approaches, one using video stream and the other using close-caption text stream, for segmenting TV news into stories. The segmen...
CL
2000
Springer
14 years 26 days ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
DKE
2007
13 years 9 months ago
2007
The objective of this research work is to look into the role of policies and context in framing the composition of Web services. Context supports the development of adaptable Web ...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
AMR
2003
Springer
14 years 2 months ago
2003
Springer
As more and more knowledge and information becomes available through computers, a critical capability of systems supporting knowledge management is the classification of documents ...