Sciweavers

5268 search results - page 586 / 1054
» Analysis of Design Process Dynamics
Sort
View
ACTA
2007
96views more  ACTA 2007»
15 years 7 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
JSA
2007
84views more  JSA 2007»
15 years 6 months ago
Optimizing data structures at the modeling level in embedded multimedia
Traditional design techniques for embedded systems apply transformations on the source code to optimize hardwarerelated cost factors. Unfortunately, such transformations cannot ad...
Marijn Temmerman, Edgar G. Daylight, Francky Catth...
WISE
2002
Springer
15 years 12 months ago
UTML: Unified Transaction Modeling Language
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
Nektarios Gioldasis, Stavros Christodoulakis
SIGIR
2006
ACM
16 years 27 days ago
Distributed query sampling: a quality-conscious approach
We present an adaptive distributed query-sampling framework that is quality-conscious for extracting high-quality text database samples. The framework divides the query-based samp...
James Caverlee, Ling Liu, Joonsoo Bae
ICIP
2006
IEEE
16 years 8 months ago
Summarization and Indexing of Human Activity Sequences
In order to summarize a video consisting of a sequence of different activities, there are three fundamental problems: tracking the objects of interest, detecting the activity chan...
Bi Song, Namrata Vaswani, Amit K. Roy Chowdhury