961 search results - page 115 / 193 » Automatic design synthesis with artificial intelligence tech... |
175
click to vote
WSOM
2009
Springer
15 years 8 months ago
2009
Springer
Bag of features is a well established technique for the visual categorisation of objects, categories of objects and textures. One of the most important part of this technique is co...
102
click to vote
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
EVOW
2007
Springer
15 years 7 months ago
2007
Springer
In liquid chromatography-mass spectrometry (LC-MS) based expression proteomics, samples from different groups are analyzed comparatively in order to detect differences that can p...
139
click to vote
ISMIS
1997
Springer
15 years 5 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
AIMSA
1990
Springer
15 years 5 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...