3172 search results - page 73 / 635 » Combining Specification Techniques for Processes, Data and T... |
164
click to vote
JEC
2006
15 years 6 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
192
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
158
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
We propose a method of efficient face description for facial image retrieval from a large data set. The novel descriptor is obtained by decomposing the face image into several com...
142
click to vote
WISE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In recent times, there has been an increased utilization of serverside XSLT systems as part of e-commerce and e-publishing applications. For the high volumes of data in t...
146
click to vote
RIAO
2004
15 years 7 months ago
2004
We present some of the technology developed at StreamSage for indexing and retrieving audio/video data. A primary difficulty of this task is precise extraction of the passages rel...