2586 search results - page 281 / 518 » Automatic Abstraction for Congruences |
143
click to vote
AAAI
2010
15 years 8 months ago
2010
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
150
click to vote
BILDMED
2008
15 years 8 months ago
2008
Abstract. We present an image analysis approach as part of a highthroughput microscopy screening system based on cell arrays for the identification of genes involved in Hepatitis C...
161
click to vote
BIS
2007
15 years 8 months ago
2007
Abstract. Use cases are a popular way of specifying functional requirements of computer-based systems. Each use case contains a sequence of steps which are described with a natural...
145
click to vote
CORIA
2010
15 years 8 months ago
2010
ABSTRACT. Photographic images annotation is a complex problem. Indeed, the visual characteristics of objects of a class vary with the considered instance and the shooting condition...
193
click to vote
COLOGNETWENTE
2008
15 years 8 months ago
2008
Abstract. A reformulation of a mathematical program is a formulation which shares some properties with, but is in some sense better than, the original program. Reformulations are i...