4290 search results - page 608 / 858 » Formal Approaches to Teamwork |
196
click to vote
JCDL
2006
ACM
16 years 18 days ago
2006
ACM
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...
158
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
185
click to vote
ASYNC
2005
IEEE
16 years 8 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 6 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 6 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...