Sciweavers

15777 search results - page 2862 / 3156
» Software Engineering
Sort
View
ICFP
2007
ACM
16 years 4 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott
POPL
2010
ACM
16 years 2 months ago
Sequential Verification of Serializability
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
G. Ramalingam, Hagit Attiya, Noam Rinetzky
ICWS
2009
IEEE
16 years 1 months ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
ICCD
2000
IEEE
125views Hardware» more  ICCD 2000»
16 years 1 months ago
Architectural Support for Dynamic Memory Management
Recent advances in software engineering, such as graphical user intevaces and object-oriented programming, have caused applications to become more memory intensive. These applicat...
J. Morris Chang, Witawas Srisa-an, Chia-Tien Dan L...

Publication
396views
16 years 1 months ago
Detecting Abandoned Objects with A Moving Camera
This paper presents a novel framework for detecting non-flat abandoned objects by matching a reference and a target video sequences. The reference video is taken by a moving camera...
Hui Kong, Jean-Yves Audibert and Jean Ponce
« Prev « First page 2862 / 3156 Last » Next »