3053 search results - page 480 / 611 » Structured Objects: Modeling and Reasoning |
206
click to vote
HEURISTICS
2008
15 years 5 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
165
click to vote
TSE
2010
15 years 5 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
194
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
164
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
172
click to vote
FOIS
2006
15 years 8 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...