11017 search results - page 256 / 2204 » Closure Systems and their Structure |
193
click to vote
TIME
2003
IEEE
15 years 11 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
178
click to vote
IBPRIA
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes the implementation details of a coded structured light system useful for one-shot measurements of a surface. Since a unique pattern is projected, the technique...
171
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
143
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...
165
click to vote
CHI
1996
ACM
15 years 10 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...