Sciweavers

8701 search results - page 1270 / 1741
» XML-Based Feature Modelling
Sort
View
CC
2003
Springer
102views System Software» more  CC 2003»
15 years 11 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov
CMMR
2003
Springer
101views Music» more  CMMR 2003»
15 years 11 months ago
Automatic Extraction of Approximate Repetitions in Polyphonic Midi Files Based on Perceptive Criteria
In the context of musical analysis, we propose an algorithm that automatically induces patterns from polyphonies. We define patterns as “perceptible repetitions in a musical piec...
Benoit Meudic, Emmanuel Staint-James
CONTEXT
2003
Springer
15 years 11 months ago
A SAT-Based Algorithm for Context Matching
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
Paolo Bouquet, Bernardo Magnini, Luciano Serafini,...
DAGM
2003
Springer
15 years 11 months ago
Real-Time Recognition of 3D-Pointing Gestures for Human-Machine-Interaction
We present a system capable of visually detecting pointing gestures and estimating the 3D pointing direction in real-time. We use Hidden Markov Models (HMMs) trained on different ...
Kai Nickel, Rainer Stiefelhagen
ESAW
2003
Springer
15 years 11 months ago
A Design Complexity Evaluation Framework for Agent-Based System Engineering Methodologies
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
Anthony Karageorgos, Nikolay Mehandjiev
« Prev « First page 1270 / 1741 Last » Next »