7892 search results - page 236 / 1579 » Programming with Models |
120
Voted
CCE
2004
15 years 1 months ago
2004
A large number of problems in production planning and scheduling, location, transportation, finance, and engineering design require that decisions be made in the presence of uncer...
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
107
click to vote
CLUSTER
2003
IEEE
15 years 7 months ago
2003
IEEE
Hmmpfam is a widely used computation-intensive bioinformatics software for sequence classification. The contribution of this paper is the first largely scalable and robust clust...
120
click to vote
ENTCS
2008
15 years 1 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
112
click to vote
PEPM
2007
ACM
15 years 7 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...