2526 search results - page 424 / 506 » A New Algorithm for Answer Set Computation |
165
click to vote
ACMSE
2006
ACM
15 years 11 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
144
click to vote
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Microfluidics-based biochips, also referred to as lab-on-a-chip (LoC), are devices that integrate fluid-handling functions such as sample preparation, analysis, separation, and de...
128
Voted
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
145
Voted
ICCS
2005
Springer
2005
Springer
Towards a Bayesian Approach to Robust Finding Correspondences in Multiple View Geometry Environments
15 years 10 months ago
Abstract. This paper presents a new Bayesian approach to the problem of finding correspondences of moving objects in a multiple calibrated camera environment. Moving objects are d...
150
Voted
ICVS
2003
Springer
15 years 10 months ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...