Sciweavers

3161 search results - page 220 / 633
» Documenting framework behavior
Sort
View
ICDAR
2011
IEEE
14 years 6 months ago
Non-rigid Registration and Restoration of Double-Sided Historical Manuscripts
This paper presents a fully automatic framework for the restoration of double-sided historical manuscripts which are impaired by ink bleed-through distortions. First, the recto si...
Jie Wang, Chew Lim Tan
CONTEXT
2005
Springer
16 years 11 days ago
Design of context-aware systems for vehicles using complex system paradigms
Abstract. This paper argues that the driving task exhibits the properties of complex systems. Driving behavior emerges from the intricate and complex interactions between the drive...
Andry Rakotonirainy
PLDI
2000
ACM
15 years 11 months ago
Functional reactive programming from first principles
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
Zhanyong Wan, Paul Hudak
FPLAY
2008
15 years 8 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...
DAGSTUHL
2006
15 years 8 months ago
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang...