Sciweavers

99 search results - page 16 / 20
» Well Founded Semantics as Two dimensional Here and There
Sort
View
BMCBI
2006
137views more  BMCBI 2006»
13 years 7 months ago
Genome BLAST distance phylogenies inferred from whole plastid and whole mitochondrion genome sequences
Background: Phylogenetic methods which do not rely on multiple sequence alignments are important tools in inferring trees directly from completely sequenced genomes. Here, we exte...
Alexander F. Auch, Stefan R. Henz, Barbara R. Holl...
STACS
2009
Springer
14 years 2 months ago
Strong Completeness of Coalgebraic Modal Logics
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Lutz Schröder, Dirk Pattinson
COGSCI
2008
139views more  COGSCI 2008»
13 years 7 months ago
A Computational Model of Early Argument Structure Acquisition
How children go about learning the general regularities that govern language, as well as keeping track of the exceptions to them, remains one of the challenging open questions in ...
Afra Alishahi, Suzanne Stevenson
VR
2008
IEEE
155views Virtual Reality» more  VR 2008»
14 years 2 months ago
The Effects of Virtual Reality, Augmented Reality, and Motion Parallax on Egocentric Depth Perception
As the use of virtual and augmented reality applications becomes more common, the need to fully understand how observers perceive spatial relationships grows more critical. One of...
Adam Jones, J. Edward Swan II, Gurjot Singh, Eric ...
SIGGRAPH
1993
ACM
13 years 11 months ago
Pad: an alternative approach to the computer interface
We believe that navigation in information spaces is best supported by tapping into our natural spatial and geographic ways of thinking. To this end, we are developing a new comput...
Ken Perlin, David Fox