491 search results - page 39 / 99 » RETNA: From Requirements to Testing in a Natural Way |
154
click to vote
JFP
2008
15 years 6 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
168
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
The event-based paradigm plays an important role to reflect logistics processes in modern IT infrastructures. Events occur at many stages, e.g., when goods tagged with RFID chips a...
144
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this work we present a new crowd analysis algorithm powered by behavior priors that are learned on a large database of crowd videos gathered from the Internet. The algorithm wo...
187
click to vote
IHI
2012
14 years 1 months ago
2012
Clinical reports often include descriptions of events in the patient’s medical history, as well as explicit or implicit temporal information about these events. We are working t...
154
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose using the proximity distribution of vectorquantized local feature descriptors for object and category recognition. To this end, we introduce a novel "proximity dis...