2555 search results - page 290 / 511 » Quantifiers and Working Memory |
137
click to vote
APN
2004
Springer
15 years 10 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
137
click to vote
IMR
2004
Springer
15 years 10 months ago
2004
Springer
Generating large 3D unstructured meshes with over 1 billion elements has been a challenging task. Fortunately, for a large class of applications with relatively simple geometries,...
109
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe Wayang Outpost, a web-based ITS for the Math section of the Scholastic Aptitude Test (SAT). It has several distinctive features: help with multimedia animatio...
141
Voted
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
120
click to vote
ARITH
2003
IEEE
15 years 10 months ago
2003
IEEE
This work uses a partially redundant number system as an internal format for floating point arithmetic operations. The redundant number system enables carry free arithmetic opera...