Sciweavers

923 search results - page 181 / 185
» On a generalization of Stickelberger's Theorem
Sort
View
COMPGEOM
2008
ACM
14 years 19 days ago
Maximum thick paths in static and dynamic environments
We consider the problem of finding a maximum number of disjoint paths for unit disks moving amidst static or dynamic obstacles. For the static case we give efficient exact algorit...
Esther M. Arkin, Joseph S. B. Mitchell, Valentin P...
FASE
2008
Springer
14 years 18 days ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu
SODA
2008
ACM
125views Algorithms» more  SODA 2008»
14 years 8 days ago
Ultra-low-dimensional embeddings for doubling metrics
We consider the problem of embedding a metric into low-dimensional Euclidean space. The classical theorems of Bourgain, and of Johnson and Lindenstrauss say that any metric on n p...
T.-H. Hubert Chan, Anupam Gupta, Kunal Talwar
CISST
2004
181views Hardware» more  CISST 2004»
14 years 7 days ago
Intrinsic Camera Calibration Based on Radical Center Estimation
Camera calibration is an important step in obtaining 3D information from 2D images. Generally camera parameters can be obtained by using traditional methods if a calibration object...
Dong Hoon Lee, Kyung Ho Jang, Soon Ki Jung
IJCAI
1989
14 years 11 hour ago
Recognizing Unnecessary Inference
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
Dan Benanav