Sciweavers

4426 search results - page 730 / 886
» Concurrent Constraint Programming
Sort
View
ICWE
2004
Springer
15 years 10 months ago
Towards Reconciling Quality and Agility in Web Application Development
Delivering high quality web applications complying with severe project delivery time constraints is still an elusive goal for a software process. In many software projects, develop...
Américo Sampaio, Alexandre Vasconcelos, Ped...
MOZ
2004
Springer
15 years 10 months ago
The XDG Grammar Development Kit
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
Ralph Debusmann, Denys Duchier, Joachim Niehren
PRICAI
2004
Springer
15 years 10 months ago
Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
Wayne Wobcke
SAT
2004
Springer
95views Hardware» more  SAT 2004»
15 years 10 months ago
Local Search for Very Large SAT Problems
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
Steven David Prestwich, Colin Quirke
INFOCOM
2003
IEEE
15 years 10 months ago
Optimal Energy Allocation for Delay-Constrained Data Transmission over a Time-Varying Channel
— We seek to maximize the data throughput of an energy and time constrained transmitter sending data over a fading channel. The transmitter has a fixed amount of energy and a li...
Alvin Fu, Eytan Modiano, John N. Tsitsiklis