Sciweavers

11172 search results - page 344 / 2235
» Testing Physical Systems
Sort
View
LCPC
2005
Springer
16 years 7 days ago
Testing Speculative Work in a Lazy/Eager Parallel Functional Language
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
Alberto de la Encina, Ismael Rodríguez, Fer...
DMIN
2006
125views Data Mining» more  DMIN 2006»
15 years 8 months ago
Biomedical Hypothesis Generation and Testing by Evolutionary Computation
- Filtering the immense amount of data available electronically over the World Wide Web is an important task of search engines in data mining applications. Users when performing se...
Robert Kozma, Anna L. Buczak
CORR
2007
Springer
58views Education» more  CORR 2007»
15 years 6 months ago
Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors
This paper reports on the systematic electromechanical characterization of a new three-axial force sensor used in dimensional metrology of micro components. The silicon based sens...
Stefan Spinner, J. Bartholomeyczik, Bernd Becker, ...
ORL
2002
92views more  ORL 2002»
15 years 6 months ago
Efficient feasibility testing for dial-a-ride problems
Dial-a-Ride systems involve dispatching a vehicle to satisfy demands from a set of customers who call a vehicle operating agency requesting that an item be picked up from a specif...
Brady Hunsaker, Martin W. P. Savelsbergh
CP
2010
Springer
15 years 5 months ago
Testing Expressibility Is Hard
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
Ross Willard