3742 search results - page 470 / 749 » On the Use of Formal Techniques for Validation |
163
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
This article presents an algorithm for the automatic detection of circular shapes from complicated and noisy images without using the conventional Hough transform methods. The prop...
173
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
The problem of analyzing microarray data became one of important topics in bioinformatics over the past several years, and different data mining techniques have been proposed for ...
173
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
166
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
213
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...