6812 search results - page 125 / 1363 » Detection of Information Flows |
100
click to vote
MMM
2007
Springer
15 years 7 months ago
2007
Springer
In this work we present an approach to capture the total semantics in multimedia-multimodal web pages. Our research improves upon the state-ofthe-art with two key features: (1) cap...
101
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
121
click to vote
ICVS
2009
Springer
15 years 8 months ago
2009
Springer
The faithful detection of the motion and of the distance of the objects in the visual scene is a desirable feature of any artificial vision system designed to operate in unknown e...
117
Voted
ERLANG
2004
ACM
15 years 7 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
117
click to vote
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...