7986 search results - page 1454 / 1598 » Computational Science and its Applications |
204
click to vote
MAGS
2008
15 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
202
click to vote
JNW
2006
15 years 7 months ago
2006
Mobile ad hoc network (MANET) has been generally regarded as an ideal network model for group communications because of its specialty of instant establishment. However, the securit...
181
Voted
MP
2006
15 years 7 months ago
2006
Mixed integer programming (MIP) formulations are typically tightened through the use of a separation algorithm and the addition of violated cuts. Using extended formulations involv...
176
click to vote
PRL
2008
15 years 7 months ago
2008
This paper proposes an algorithm for rejecting false matches (known as outliers) in image pairs acquired with automobile-mounted cameras. Many intelligent vehicle applications req...
177
Voted
PR
2006
15 years 6 months ago
2006
Photo image authentication is an interesting and demanding field in the computer vision and image processing community. This research is motivated by its wide range of application...