3053 search results - page 480 / 611 » Structured Objects: Modeling and Reasoning |
121
Voted
HEURISTICS
2008
15 years 10 days 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...
102
click to vote
TSE
2010
15 years 4 days 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...
135
Voted
DSRT
2008
IEEE
15 years 8 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...
107
click to vote
POPL
2010
ACM
15 years 11 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...
107
click to vote
FOIS
2006
15 years 3 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...