Sciweavers

BIRTHDAY
2003
Springer
14 years 3 months ago
On the Difference Problem for Semilinear Power Series
We prove in this paper that if r and s are two semilinear power series in commuting variables and s has bounded coefficients, then r-s is a rational series. This result can be tho...
Ion Petre
BIRTHDAY
2003
Springer
14 years 3 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
BIRTHDAY
2003
Springer
14 years 3 months ago
Verification by Abstract Interpretation
Patrick Cousot
BIRTHDAY
2003
Springer
14 years 5 months ago
Program Synthesis for Multi-agent Question Answering
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...
Richard J. Waldinger, Peter Jarvis, Jennifer L. Du...
BIRTHDAY
2003
Springer
14 years 5 months ago
Digital Algebra and Circuits
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...
Jean Vuillemin
BIRTHDAY
2003
Springer
14 years 5 months ago
A Call to Regularity
Moshe Y. Vardi
BIRTHDAY
2003
Springer
14 years 5 months ago
Sweepline the Music!
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...
Esko Ukkonen, Kjell Lemström, Veli Mäkin...
BIRTHDAY
2003
Springer
14 years 5 months ago
Petri Net Analysis Using Invariant Generation
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...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
BIRTHDAY
2003
Springer
14 years 5 months ago
Towards a Brain Compatible Theory of Syntax Based on Local Testability
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...
Stefano Crespi-Reghizzi, Valentino Braitenberg
BIRTHDAY
2003
Springer
14 years 5 months ago
Colimits for Concurrent Collectors
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
Dusko Pavlovic, Peter Pepper, Douglas R. Smith