Sciweavers

1333 search results - page 205 / 267
» Termination Detection of Local Computations
Sort
View
FOSSACS
2003
Springer
14 years 29 days ago
A Monadic Multi-stage Metalanguage
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
Eugenio Moggi, Sonia Fagorzi
ACMSE
2006
ACM
13 years 9 months ago
Hybrid intelligent systems for network security
Society has grown to rely on Internet services, and the number of Internet users increases every day. As more and more users become connected to the network, the window of opportu...
J. Lane Thames, Randal Abler, Ashraf Saad
ISBI
2004
IEEE
14 years 8 months ago
Adaptive Finite Element Methods for Fluorescence Enhanced Frequency Domain Optical Tomography: Forward Imaging Problem
In this contribution we introduce adaptive finite element methods for forward modeling in fluorescence optical tomography. Adaptive local mesh refinement increases the accuracy of...
Amit Joshi, Eva M. Sevick-Muraca, Alan B. Thompson...
SCIA
2009
Springer
306views Image Analysis» more  SCIA 2009»
14 years 7 months ago
Head Pose Estimation from Passive Stereo Images
We present an algorithm to estimate the 3D pose (location and orientation) of a previously unseen face from low-quality range images. The algorithm generates many pose candidates ...
C. Høilund, J. Jensen, Luc J. Van Gool, Mic...
ICARCV
2002
IEEE
141views Robotics» more  ICARCV 2002»
14 years 21 days ago
An efficient binary corner detector
Corner extraction is an important task in many computer vision systems. The quality of the corners and the efficiency of the detection method are two very important aspects that ...
Parvanesh Saeedi, David Lowe, Peter Lawrence