1775 search results - page 237 / 355 » Antichains on Three Levels |
EMNETS
2007
15 years 5 months ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
122
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
112
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
102
click to vote
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
In 2005, we studied the development effort and effect of quality comparisons between software development with Fagan's inspection and pair development. Three experiments were...
113
click to vote
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...