Sciweavers

2632 search results - page 518 / 527
» Alternating Timed Automata
Sort
View
SCP
1998
163views more  SCP 1998»
14 years 9 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
TIT
2002
126views more  TIT 2002»
14 years 9 months ago
Two-dimensional interleaving schemes with repetitions: Constructions and bounds
Abstract--Two-dimensional interleaving schemes with repetitions are considered. These schemes are required for the correction of two-dimensional bursts (or clusters) of errors in a...
Tuvi Etzion, Alexander Vardy
NAR
2007
145views more  NAR 2007»
14 years 9 months ago
Primer3Plus, an enhanced web interface to Primer3
Here we present Primer3Plus, a new web interface to the popular Primer3 primer design program as an enhanced alternative for the CGI- scripts that come with Primer3. Primer3 consi...
Andreas Untergasser, Harm Nijveen, Xiangyu Rao, To...
PRESENCE
2007
127views more  PRESENCE 2007»
14 years 9 months ago
Causal Perception in Virtual Reality and its Implications for Presence Factors
Causality is an important aspect of how we construct reality. Yet, while many psychological phenomena have been studied in their relation to virtual reality (VR), very little work...
Marc Cavazza, Jean-Luc Lugrin, Marc Buehner
88
Voted
EDM
2010
154views Data Mining» more  EDM 2010»
14 years 8 months ago
Can We Get Better Assessment From A Tutoring System Compared to Traditional Paper Testing? Can We Have Our Cake (Better Assessme
Dynamic assessment (DA) has been advocated as an interactive approach to conduct assessments to students in the learning systems as it can differentiate student proficiency at a fi...
Mingyu Feng, Neil T. Heffernan