Sciweavers

10458 search results - page 1585 / 2092
» Modeling Features at Runtime
Sort
View
AC
2003
Springer
15 years 10 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
APN
2003
Springer
15 years 10 months ago
Deciding Life-Cycle Inheritance on Petri Nets
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
H. M. W. (Eric) Verbeek, Twan Basten
168
Voted
CAIP
2003
Springer
166views Image Analysis» more  CAIP 2003»
15 years 10 months ago
Unsupervised Segmentation Incorporating Colour, Texture, and Motion
Abstract. In this paper we integrate colour, texture, and motion into a segmentation process. The segmentation consists of two steps, which both combine the given information: a pr...
Thomas Brox, Mikaël Rousson, Rachid Deriche, ...
CC
2003
Springer
102views System Software» more  CC 2003»
15 years 10 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 10 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
« Prev « First page 1585 / 2092 Last » Next »