4985 search results - page 415 / 997 » Observation of String-Rewriting Systems |
158
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
156
click to vote
CPHYSICS
2006
15 years 7 months ago
2006
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...
167
click to vote
ENTCS
2006
15 years 7 months ago
2006
This paper discusses numerical experiments of wave front propagation on a flat disk and related results. In particular, notions of extremal rays and wave front caustics are introd...
149
click to vote
CONCURRENCY
2002
15 years 7 months ago
2002
We describe an information system architecture for the ACES (Asia-Pacific Cooperation for Earthquake Simulation) community. It addresses several key features of the field
169
click to vote
EOR
2002
15 years 7 months ago
2002
Decision trees allow the modeling of event-dependent reasoning, but do not consider the dynamics of contextual changes in reasoning. In the framework of the SART project, which ai...