14331 search results - page 2574 / 2867 » On the modeling and analysis of obligations |
199
Voted
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
207
click to vote
FGR
1998
IEEE
15 years 11 months ago
1998
IEEE
Automated recognition of facial expression is an important addition to computer vision research because of its relevance to the study of psychological phenomena and the developmen...
209
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
189
click to vote
PKC
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a simple and efficient conversion from a semantically secure public-key encryption scheme against passive adversaries to a non-malleable (or semantically secure...
234
click to vote
SCALESPACE
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we address two important problems in motion analysis: the detection of moving objects and their localization. Statistical and level set approaches are adopted in orde...