7167 search results - page 706 / 1434 » Answer Set Programming |
164
click to vote
MMM
2005
Springer
16 years 21 days ago
2005
Springer
In this paper, we introduce a novel metadata model for describing scalable and interactive TV services that can be enriched with supplemental multimedia information. The model all...
183
click to vote
SPIRE
2005
Springer
16 years 18 days ago
2005
Springer
We present a new algorithm for generating super condensed neighbourhoods. Super condensed neighbourhoods have recently been presented as the minimal set of words that represent a p...
171
click to vote
TACAS
2005
Springer
16 years 18 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
191
click to vote
ISMAR
2003
IEEE
16 years 12 days ago
2003
IEEE
Current Augmented Reality (AR) applications require that the application software be written to support a specific AR interface set up. WireAR was developed to enable output from...
204
click to vote
ICALP
2003
Springer
16 years 10 days ago
2003
Springer
We are given a set of jobs each has a processing time, a non-negative weight, a set of possible time intervals in which it can be processed and a cost. The goal is to schedule a f...