Sciweavers

2200 search results - page 337 / 440
» Objective reduction using a feature selection technique
Sort
View
150
Voted
APN
2010
Springer
15 years 7 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
15 years 7 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»
15 years 7 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
15 years 5 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»
15 years 2 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