Sciweavers

4761 search results - page 719 / 953
» Generalizing Boundary Points
Sort
View
ASP
2003
Springer
15 years 9 months ago
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
Thomas Eiter, Michael Fink, Hans Tompits, Stefan W...
114
Voted
FCT
2003
Springer
15 years 9 months ago
An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates
We present an Extended Quadratic Frobenius Primality Test (EQFT), which is related to the Miller-Rabin test and to several other known probabilistic tests. EQFT takes time equival...
Ivan Damgård, Gudmund Skovbjerg Frandsen
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
15 years 9 months ago
Implicit Parallelism
This paper assumes a search space of fixed-length strings, where the size of the alphabet can vary from position to position. Structural crossover is mask-based crossover, and thu...
Alden H. Wright, Michael D. Vose, Jonathan E. Rowe
ICMI
2003
Springer
150views Biometrics» more  ICMI 2003»
15 years 9 months ago
Auditory, graphical and haptic contact cues for a reach, grasp, and place task in an augmented environment
An experiment was conducted to investigate how performance of a reach, grasp and place task was influenced by added auditory and graphical cues. The cues were presented at points ...
Mihaela A. Zahariev, Christine L. MacKenzie
IMR
2003
Springer
15 years 9 months ago
Multilevel Accelerated Optimization for Problems in Grid Generation
The quality of numerical simulations of processes that are modeled by partial differential equations strongly depends on the quality of the mesh that is used for their discretiza...
Markus Berndt, Mikhail J. Shashkov