Sciweavers

5034 search results - page 191 / 1007
» A Content-Centric Development Process Model
Sort
View
124
Voted
FSTTCS
2003
Springer
15 years 8 months ago
Reachability Analysis of Process Rewrite Systems
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
Ahmed Bouajjani, Tayssir Touili
143
Voted
HASE
1999
IEEE
15 years 7 months ago
Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
Steve Goddard, Kevin Jeffay
137
Voted
AIME
2007
Springer
15 years 7 months ago
Using Temporal Context-Specific Independence Information in the Exploratory Analysis of Disease Processes
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
Stefan Visscher, Peter J. F. Lucas, Ildikó ...
CVPR
2003
IEEE
16 years 5 months ago
A Road Sign Recognition System Based on Dynamic Visual Model
We propose a computational model motivated by human cognitive processes for detecting changes of driving environments. The model, call dynamic visual model, consists of three majo...
C. Y. Fang, C. S. Fuh, S. W. Chen, P. S. Yen
EDBT
2010
ACM
200views Database» more  EDBT 2010»
15 years 10 months ago
Rewrite techniques for performance optimization of schema matching processes
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
Eric Peukert, Henrike Berthold, Erhard Rahm