1366 search results - page 102 / 274 » Modularizing Contexted Constraints |
134
click to vote
EVOW
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We demonstrate how a genetic algorithm solves the problem of minimizing the resources used for network coding, subject to a throughput constraint, in a multicast scenario...
158
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
139
click to vote
ICWL
2007
Springer
16 years 15 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
159
click to vote
LFCS
2007
Springer
16 years 15 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
166
click to vote
HICSS
2006
IEEE
16 years 12 days ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...