476 search results - page 60 / 96 » Information Algebras |
ICLP
2003
Springer
14 years 1 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
DSVIS
1995
Springer
14 years 7 days ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
DAC
1994
ACM
14 years 6 days ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
ECTEL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
IIS
2004
13 years 10 months ago
2004
Search results clustering problem is defined as an automatic, on-line grouping of similar documents in a search results list returned from a search engine. In this paper we present...