MOZ
2004
Springer
14 years 5 months ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Recently, development of peer-to-peer (P2P) applications has been giving a paramount attention mostly due to their attractive features such as decentralization and self-o...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
1) the Warren’s Abstract Machine and (2) constraints on finite set.
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
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...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
We present the design and implementation of a Minesweeper game, augmented with a digital assistant. The assistant uses contraint programming techniques to help the player, and is a...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
MMAS
2004
Springer
14 years 5 months ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...