Sciweavers

4281 search results - page 788 / 857
» How to Disembed a Program
Sort
View
BIRTHDAY
2004
Springer
14 years 3 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes
CIA
2004
Springer
14 years 3 months ago
On the Impact of Agent Communication Languages on the Implementation of Agent Systems
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
Juan Manuel Serrano, Sascha Ossowski
CINQ
2004
Springer
131views Database» more  CINQ 2004»
14 years 3 months ago
Model-Independent Bounding of the Supports of Boolean Formulae in Binary Data
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
Artur Bykowski, Jouni K. Seppänen, Jaakko Hol...
COCO
2004
Springer
78views Algorithms» more  COCO 2004»
14 years 3 months ago
Language Compression and Pseudorandom Generators
The language compression problem asks for succinct descriptions of the strings in a language A such that the strings can be efficiently recovered from their description when given...
Harry Buhrman, Troy Lee, Dieter van Melkebeek
CP
2004
Springer
14 years 3 months ago
Statistical Regimes Across Constrainedness Regions
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...
Carla P. Gomes, Cèsar Fernández, Bar...