Sciweavers

3212 search results - page 534 / 643
» Definition and modeling of process using object orientation
Sort
View
122
Voted
RV
2010
Springer
220views Hardware» more  RV 2010»
14 years 8 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
127
Voted
PLDI
2012
ACM
13 years 20 days ago
The implicit calculus: a new foundation for generic programming
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...
93
Voted
CVPR
2001
IEEE
16 years 7 days ago
Event-Based Analysis of Video
Dynamic events can be regarded as long-term temporal objects, which are characterized by spatio-temporal features at multiple temporal scales. Based on this, we design a simple st...
Lihi Zelnik-Manor, Michal Irani
81
Voted
ICMCS
2010
IEEE
149views Multimedia» more  ICMCS 2010»
14 years 10 months ago
Single-view recaptured image detection based on physics-based features
In daily life, we can see images of real-life objects on posters, television, or virtually any type of smooth physical surfaces. We seldom confuse these images with the objects pe...
Xinting Gao, Tian-Tsong Ng, Bo Qiu, Shih-Fu Chang
72
Voted
WEBENG
2001
Springer
15 years 2 months ago
Web Engineering Resources
This paper introduces the Web Engineering Resources Portal (shortly WEP), as a basic Reference Model and Guide for the Web Engineers. WEP provides a general classification of Web E...