1999 search results - page 145 / 400 » Finding Reductions Automatically |
123
click to vote
MVA
1998
15 years 3 months ago
1998
Text extraction from a web image is important for web indexing because the text can contain a key information of the web. This paper presents a method to detect a text with variou...
CCCG
2009
15 years 2 months ago
2009
We model the problem of detecting intruders using a set of infrared beams by the perimeter defense problem: given a polygon P, find a minimum set of edges S of the polygon such th...
119
click to vote
IAT
2008
IEEE
15 years 1 months ago
2008
IEEE
Use of game-theoretic models to address patrolling applications has gained increasing interest in the very last years. The patrolling agent is considered playing a game against an...
ELECTRONICMARKETS
2008
15 years 1 months ago
2008
The following paper presents results from a longitudinal study on the use of ICT for B2B-related business processes in large Swiss companies. In an empirical survey, 68 questionna...
109
click to vote
IJISEC
2008
15 years 1 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...