Sciweavers

843 search results - page 36 / 169
» Codes and Projective Multisets
Sort
View
ICRA
2006
IEEE
150views Robotics» more  ICRA 2006»
14 years 3 months ago
An Approach to Visual Servoing based on Coded Light
— Positioning a robot with respect to objects by using data provided by a camera is a well known technique called visual servoing. In order to perform a task, the object must exh...
Jordi Pagès, Christophe Collewet, Fran&cced...
ASWEC
2008
IEEE
13 years 12 months ago
Indexing the Java API Using Source Code
The basic idea behind software reuse is that software developers use reusable components found in software repositories to reduce the amount of code that has to be written and so ...
Homan Ma, Robert Amor, Ewan D. Tempero
ICONIP
2007
13 years 11 months ago
Flexible Component Analysis for Sparse, Smooth, Nonnegative Coding or Representation
In the paper, we present a new approach to multi-way Blind Source Separation (BSS) and corresponding 3D tensor factorization that has many potential applications in neuroscience an...
Andrzej Cichocki, Anh Huy Phan, Rafal Zdunek, Liqi...
ENTCS
2008
94views more  ENTCS 2008»
13 years 10 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
MSR
2006
ACM
14 years 3 months ago
Micro pattern evolution
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
Sunghun Kim, Kai Pan, E. James Whitehead Jr.