4985 search results - page 414 / 997 » Observation of String-Rewriting Systems |
151
click to vote
WSC
2000
15 years 8 months ago
2000
We present and evaluate two ranking-and-selection procedures for use in steady-state simulation experiments when the goal is to find which among a finite number of alternative sys...
173
click to vote
TREC
2007
15 years 8 months ago
2007
In this paper, we discuss the experiments conducted in context of Document Search task of 2007 Enterprise Search track. Our method is based on selecting sentences from the given r...
182
click to vote
HAPTICS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents the MIMICS MMS rehabilitation system with a virtual rehabilitation task that includes several modes of haptic assistance. We observed the influence of these dif...
166
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...
186
click to vote
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...