Sciweavers

1181 search results - page 138 / 237
» constraints 2004
Sort
View
MOZ
2004
Springer
14 years 2 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
OTM
2004
Springer
14 years 2 months ago
A Context-Based Awareness Mechanism for Mobile Cooperative Users
This paper presents a context-based awareness mechanism designed for users who access web-based collaborative systems using mobile devices. The limited capabilities of such devices...
Manuele Kirsch-Pinheiro, Marlène Villanova-...
PADL
2004
Springer
14 years 2 months ago
An Algebraic Theory of Polymorphic Temporal Media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
Paul Hudak
PATAT
2004
Springer
151views Education» more  PATAT 2004»
14 years 2 months ago
Decomposition and Parallelization of Multi-resource Timetabling Problems
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a prefixed period of time (typically a week), satisfying a set of constraints of ...
Petr Slechta
PATMOS
2004
Springer
14 years 2 months ago
An Efficient Low-Degree RMST Algorithm for VLSI/ULSI Physical Design
Motivated by very/ultra large scale integrated circuit (VLSI/ULSI) physical design applications, we study the construction of rectilinear minimum spanning tree (RMST) with its maxi...
Yin Wang, Xianlong Hong, Tong Jing, Yang Yang, Xia...