3742 search results - page 522 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
—A new lightweight planar parallel platform aims to greatly improve operational speed of electronic manufacturing process and to realize a “smart parallel platform” through t...
173
click to vote
SAINT
2005
IEEE
16 years 4 days ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
166
click to vote
IPMI
2005
Springer
16 years 2 days ago
2005
Springer
Consistent efforts are being made to build Computer-Aided Detection and Diagnosis systems for radiological images. Such systems depend on automated detection of various disease pat...
194
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
180
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees....