4971 search results - page 383 / 995 » Observation systems |
155
click to vote
ENTCS
2010
15 years 7 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
175
Voted
AIEDU
2006
15 years 7 months ago
2006
Model tracing and constraint-based modeling are two prominent paradigms on which intelligent tutoring systems (ITSs) have been based. We Kodaganallur, Weitz and Rosenthal (2005), h...
151
Voted
CPHYSICS
2006
15 years 6 months ago
2006
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...
151
click to vote
ENTCS
2006
15 years 6 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...
137
click to vote
CONCURRENCY
2002
15 years 6 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