Sciweavers

6167 search results - page 1040 / 1234
» Can Refinement be Automated
Sort
View
BILDMED
2006
120views Algorithms» more  BILDMED 2006»
13 years 11 months ago
Towards Automatic Segmentation of Serial High-Resolution Images
Developing barley grains are to be visualised by a 4-D model, in which spatiotemporal experimental data can be integrated. The most crucial task lies in the automation of the exten...
Cornelia Brüß, Marc Strickert, Udo Seif...
DAGSTUHL
2004
13 years 11 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
FLAIRS
2004
13 years 11 months ago
A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
Richard Dapoigny, Patrick Barlatier, Laurent Foull...
I3E
2004
145views Business» more  I3E 2004»
13 years 11 months ago
Evolution of Service Processes by Rule Based Transformation
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...
Christian Zirpins, Giacomo Piccinelli
FLAIRS
2006
13 years 11 months ago
Context-based Term Disambiguation in Biomedical Literature
The huge volumes of unstructured texts available online drives the increasing need for automated techniques to analyze and extract knowledge from these repositories of information...
Ping Chen, Hisham Al-Mubaid
« Prev « First page 1040 / 1234 Last » Next »