394 search results - page 69 / 79 » An Abstract Domain of Uninterpreted Functions |
125
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
139
click to vote
JMLR
2010
14 years 8 months ago
2010
We propose a class of Bayesian networks appropriate for structured prediction problems where the Bayesian network's model structure is a function of the predicted output stru...
129
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
116
click to vote
NAR
2006
15 years 1 months ago
2006
ted Talks and Poster Abstracts S1, T1 Title: Evolution of the Mammalian Lamin A Gene Author: Susan N. LoCurto and Dorothy E. Pumo Affiliation: Hofstra University, Department of Bio...
123
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...