2607 search results - page 178 / 522 » Complete Functional Synthesis |
147
click to vote
ICML
1989
IEEE
15 years 8 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
107
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
—This paper describes a novel compound Markov random field model capable of realistic modelling of multispectral bidirectional texture function, which is currently the most adva...
145
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
139
Voted
MICCAI
2006
Springer
16 years 5 months ago
2006
Springer
In this paper, we present an original method that aims at parcellating the cortical surface in regions functionally meaningful, from individual anatomy. The parcellation is obtaine...
131
click to vote
FCT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In the paper we show that there is a close relationship between the energy complexity and the depth of threshold circuits computing any Boolean function although they hav...