4890 search results - page 746 / 978 » From system specifications to component behavioral models |
98
Voted
IJIT
2004
15 years 2 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...
115
Voted
ACCV
2007
Springer
15 years 7 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...
160
click to vote
CC
2008
Springer
15 years 2 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...
127
Voted
KDD
2008
ACM
16 years 1 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...
112
click to vote
IJCV
2002
15 years 13 days 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...