2514 search results - page 408 / 503 » The use of industrial-strength formal methods |
188
click to vote
JCDL
2006
ACM
16 years 8 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 ...
193
click to vote
DASFAA
2005
IEEE
15 years 12 months ago
2005
IEEE
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
158
click to vote
WECWIS
2005
IEEE
15 years 12 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
169
click to vote
HT
2005
ACM
15 years 12 months 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...
212
click to vote
IHIS
2005
ACM
15 years 12 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...