5477 search results - page 902 / 1096 » Contexts, Domains, and Software |
167
click to vote
FSTTCS
2005
Springer
16 years 5 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
176
click to vote
FSTTCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
157
click to vote
ICMI
2005
Springer
16 years 5 days ago
2005
Springer
The design of an output multimodal system is a complex task due to the richness of today interaction contexts. The diversity of environments, systems and user profiles requires a ...
185
click to vote
LCPC
2005
Springer
16 years 5 days ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
197
click to vote
LCPC
2005
Springer
16 years 5 days ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...