4211 search results - page 630 / 843 » A formal approach to MASQ |
183
click to vote
ASYNC
2005
IEEE
16 years 6 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
174
click to vote
HT
2005
ACM
16 years 4 days ago
2005
ACM
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
153
click to vote
WIKIS
2005
ACM
16 years 4 days ago
2005
ACM
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...
158
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
192
click to vote
CIKM
2005
Springer
16 years 4 days ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...