Sciweavers

1828 search results - page 230 / 366
» From Features to Semantics: Some Preliminary Results
Sort
View
BSL
2004
100views more  BSL 2004»
15 years 1 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
APPML
2005
55views more  APPML 2005»
15 years 1 months ago
Recovering a phylogenetic tree using pairwise closure operations
A fundamental task in evolutionary biology is the amalgamation of a collection P of leaf-labelled trees into a single parent tree. A desirable feature of any such amalgamation is ...
Katharina T. Huber, Vincent Moulton, Charles Sempl...
NORDICHI
2006
ACM
15 years 7 months ago
The FaceReader: measuring instant fun of use
Recently, more and more attention has been paid to emotions in the domain of Human-Computer Interaction. When evaluating a product, one can no longer ignore the emotions a product...
Bieke Zaman, Tara Shrimpton-Smith
BMCBI
2006
91views more  BMCBI 2006»
15 years 1 months ago
Cheminformatics methods for novel nanopore analysis of HIV DNA termini
Background: Channel current feature extraction methods, using Hidden Markov Models (HMMs) have been designed for tracking individual-molecule conformational changes. This informat...
Stephen Winters-Hilt, Matthew Landry, Mark Akeson,...
ARCS
2005
Springer
15 years 7 months ago
Adaptive Object Acquisition
We propose an active vision system for object acquisition. The core of our approach is a reinforcement learning module which learns a strategy to scan an object. The agent moves a...
Gabriele Peters, Claus-Peter Alberts, Markus Bries...