3172 search results - page 352 / 635 » Combining Specification Techniques for Processes, Data and T... |
195
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
200
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray experimentation requires the application of complex analysis methods as well as the use of non-trivial computer technologies to manage the resultant large d...
163
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
When labelled training data is plentiful, discriminative techniques are widely used since they give excellent generalization performance. However, for large-scale applications suc...
175
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
142
click to vote
NPAR
2006
ACM
16 years 18 days ago
2006
ACM
In recent years considerable interest has been given to nonphotorealistic rendering of photographs, video, and 3D models for illustrative or artistic purposes. Conventional 2D inp...