BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrat...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. The problem of matching sets of points or sets of horizontal line segments in plane under translations is considered. For finding the exact occurrences of a point set of...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...