Sciweavers

2230 search results - page 76 / 446
» Reformulating Constraint Models Using Input Data
Sort
View
WSFM
2007
Springer
15 years 3 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
KDD
1998
ACM
170views Data Mining» more  KDD 1998»
15 years 1 months ago
Mining Audit Data to Build Intrusion Detection Models
In this paper we discuss a data mining framework for constructing intrusion detection models. The key ideas are to mine system audit data for consistent and useful patterns of pro...
Wenke Lee, Salvatore J. Stolfo, Kui W. Mok
CVGIP
2006
75views more  CVGIP 2006»
14 years 9 months ago
Momentum-based parameterization of dynamic character motion
This paper presents a system for rapid editing of highly dynamic motion capture data. At the heart of this system is an optimization algorithm that can transform the captured moti...
Yeuhi Abe, C. Karen Liu, Zoran Popovic
GIS
2006
ACM
14 years 9 months ago
B-Spline curve smoothing under position constraints for line generalisation
Currently, most of the operations performed for the construction of marine charts are still done manually. However, with the development of more and more powerful techniques, new ...
Eric Guilbert, Hui Lin 0002
ADVIS
2006
Springer
15 years 3 months ago
Validation of XML Documents: From UML Models to XML Schemas and XSLT Stylesheets
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
Eladio Domínguez, Jorge Lloret, Angel Luis ...