1913 search results - page 372 / 383 » Group Input Machine |
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...
CONCUR
2001
Springer
15 years 1 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
LCPC
2001
Springer
15 years 1 months ago
2001
Springer
This paper discusses the potential benefits of applicationspecific power management through remote task execution. Power management is crucial for mobile devices that have to re...
93
Voted
MICCAI
2001
Springer
15 years 1 months ago
2001
Springer
Extracting 3D structures from volumetric images like MRI or CT is becoming a routine process for diagnosis based on quantitation, for radiotherapy planning, for surgical planning a...
WIA
2001
Springer
15 years 1 months ago
2001
Springer
A formal device is said to be adaptive whenever its behavior changes dynamically, in a direct response to its input stimuli, without interference of external agents, even its user...