Sciweavers

2200 search results - page 337 / 440
» Objective reduction using a feature selection technique
Sort
View
APN
2010
Springer
14 years 1 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...
APSEC
1999
IEEE
14 years 1 months ago
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
Yoonsik Cheon, Heung-Nam Kim
ICARCV
2002
IEEE
153views Robotics» more  ICARCV 2002»
14 years 2 months ago
Fast, unconstrained camera motion estimation from stereo without tracking and robust statistics
Camera motion estimation is useful for a range of applications. Usually, feature tracking is performed through the sequence of images to determine correspondences. Furthermore, ro...
Heiko Hirschmüller, Peter R. Innocent, Jonath...
CAE
2007
13 years 11 months ago
An Information-Theoretic Ambient Occlusion
Ambient occlusion is a powerful technique that mimics indirect global illumination at a fraction of the cost. In this paper, we introduce a new ambient occlusion technique based o...
Francisco González, Mateu Sbert, Miquel Fei...
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 9 months ago
Algorithmic Detection of Computer Generated Text
ct Computer generated academic papers have been used to expose a lack of thorough human review at several computer science conferences. We assess the problem of classifying such do...
Allen Lavoie, Mukkai Krishnamoorthy