6274 search results - page 997 / 1255 » Proofs, Programs, Processes |
152
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Web sites and web browsers have recently evolved into platforms on top of which entire applications are delivered dynamically, mostly as JavaScript source code. This delivery form...
126
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
159
Voted
SOCO
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
116
click to vote
JCC
2011
14 years 4 months ago
2011
: Molecular recognition plays a fundamental role in all biological processes, and that is why great efforts have been made to understand and predict protein–ligand interactions. ...
141
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
We propose an approach to identify and segment objects from scenes that a person (or robot) encounters in Activities of Daily Living (ADL). Images collected in those cluttered sce...