Sciweavers

2703 search results - page 100 / 541
» Working Class Hero
Sort
View
CORR
2007
Springer
103views Education» more  CORR 2007»
13 years 10 months ago
Interactive Small-Step Algorithms I: Axiomatization
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...
SCL
2008
101views more  SCL 2008»
13 years 10 months ago
Stability of nonlinear asynchronous systems
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
David Muñoz de la Peña, Panagiotis D...
ITA
2007
101views Communications» more  ITA 2007»
13 years 10 months ago
Learning tree languages from text
We study the problem of learning regular tree languages from text. We show that the framework of function distinguishability as introduced by the author in Theoretical Computer Sc...
Henning Fernau
CSCW
2002
ACM
13 years 10 months ago
Clover architecture for groupware
In this paper we present the Clover architectural model, a new conceptual architectural model for groupware. Our model results from the combination of the layer approach of Dewan&...
Yann Laurillau, Laurence Nigay
MOC
2000
80views more  MOC 2000»
13 years 9 months ago
On a unit group generated by special values of Siegel modular functions
Abstract. There has been important progress in constructing units and Sunits associated to curves of genus 2 or 3. These approaches are based mainly on the consideration of propert...
Takashi Fukuda, Keiichi Komatsu