1366 search results - page 102 / 274 » Modularizing Contexted Constraints |
EVOW
2007
Springer
15 years 5 months 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...
ICLP
2007
Springer
15 years 5 months 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....
ICWL
2007
Springer
15 years 5 months 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-...
LFCS
2007
Springer
15 years 5 months 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...
HICSS
2006
IEEE
15 years 5 months 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...