Sciweavers

2335 search results - page 424 / 467
» Type Checking Type Classes
Sort
View
AROBOTS
2005
115views more  AROBOTS 2005»
13 years 8 months ago
Obstacle Detection and Terrain Classification for Autonomous Off-Road Navigation
Autonomous navigation in cross-country environments presents many new challenges with respect to more traditional, urban environments. The lack of highly structured components in t...
Roberto Manduchi, Andres Castano, A. Talukder, Lar...
IVC
2007
301views more  IVC 2007»
13 years 8 months ago
Kinematic sets for real-time robust articulated object tracking
In this article a new approach is given for real-time visual tracking of a class of articulated non-rigid objects in 3D. The main contribution of this paper consists in symmetrica...
Andrew I. Comport, Éric Marchand, Fran&cced...
BMCBI
2005
117views more  BMCBI 2005»
13 years 8 months ago
Differentiation of regions with atypical oligonucleotide composition in bacterial genomes
Background: Complete sequencing of bacterial genomes has become a common technique of present day microbiology. Thereafter, data mining in the complete sequence is an essential st...
Oleg N. Reva, Burkhard Tümmler
JCNS
2007
89views more  JCNS 2007»
13 years 8 months ago
Synchronous and asynchronous bursting states: role of intrinsic neural dynamics
Brain signals such as local field potentials often display gamma-band oscillations (30–70 Hz) in a variety of cognitive tasks. These oscillatory activities possibly reflect sy...
Takashi Takekawa, Toshio Aoyagi, Tomoki Fukai
CLEIEJ
2002
192views more  CLEIEJ 2002»
13 years 8 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...