747 search results - page 56 / 150 » An Alternative Representation for QBF |
189
click to vote
ACIVS
2007
Springer
16 years 10 days ago
2007
Springer
This paper presents a monocular vision framework enabling feature-oriented appearance-based navigation in large outdoor environments containing other moving objects. The framework ...
169
click to vote
ACMACE
2006
ACM
16 years 3 days ago
2006
ACM
Recent advances in three-dimensional (3D) data acquisition techniques have offered an alternative to the traditional 2D metamorphosis (or morphing) approaches, which gradually cha...
171
click to vote
CSB
2005
IEEE
15 years 11 months ago
2005
IEEE
RNAMute is an interactive web tool written in Java that calculates the secondary structure of all single point mutations, given an RNA sequence, and organizes them into categories...
148
click to vote
ITCC
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
175
click to vote
SCALESPACE
2005
Springer
15 years 11 months ago
2005
Springer
Image reconstruction from a fiducial collection of scale space interest points and attributes (e.g. in terms of image derivatives) can be used to make the amount of information co...