Sciweavers

4761 search results - page 529 / 953
» Generalizing Boundary Points
Sort
View
WETICE
2005
IEEE
16 years 13 days ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
HT
2005
ACM
16 years 13 days ago
Vox populi: a tool for automatically generating video documentaries
Vox Populi is a system that automatically generates video documentaries. Our application domain is video interviews about controversial topics. Via a Web interface the user select...
Stefano Bocconi, Frank Nack, Lynda Hardman
SIGIR
2005
ACM
16 years 13 days ago
On evaluation of adaptive topic tracking systems
Summative evaluation methods for supervised adaptive topic tracking systems convolve the effect of system decisions on present utility with the effect on future utility. This pa...
Tamer Elsayed, Douglas W. Oard
AADEBUG
2005
Springer
16 years 13 days ago
Lightweight bug localization with AMPLE
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...
Valentin Dallmeier, Christian Lindig, Andreas Zell...
BIRTHDAY
2005
Springer
16 years 13 days ago
Main Concepts of Networks of Transformation Units with Interlinking Semantics
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz R...