4890 search results - page 746 / 978 » From system specifications to component behavioral models |
131
click to vote
IJIT
2004
15 years 5 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
150
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...
190
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
162
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...
141
click to vote
IJCV
2002
15 years 4 months ago
2002
We present a geometric model and a computational method for segmentation of images with missing boundaries. In many situations, the human visual system fills in missing gaps in ed...