Sciweavers

3335 search results - page 472 / 667
» Grid result checking
Sort
View
ENGL
2007
88views more  ENGL 2007»
15 years 5 months ago
Computer Simulated Tests for Lever Controls with Circular Displays
— Using computer simulated tests, this study examined direction-of-motion stereotypes and response times for different configurations of lever controls and circular displays. Qua...
W. H. Chan, Alan H. S. Chan
ENTCS
2007
137views more  ENTCS 2007»
15 years 5 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
145
Voted
PR
2008
131views more  PR 2008»
15 years 5 months ago
A memetic algorithm for evolutionary prototype selection: A scaling up approach
Prototype selection problem consists of reducing the size of databases by removing samples that are considered noisy or not influential on nearest neighbour classification tasks. ...
Salvador García, José Ramón C...
RAS
2006
100views more  RAS 2006»
15 years 5 months ago
Sampling and node adding in probabilistic roadmap planners
The probabilistic roadmap approach is one of the leading motion planning techniques. Over the past decade the technique has been studied by many different researchers. This has le...
Roland Geraerts, Mark H. Overmars
TCAD
2008
124views more  TCAD 2008»
15 years 5 months ago
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs
Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input corre...
Neil Kettle, Andy King