Sciweavers

1798 search results - page 266 / 360
» A Tree for All Seasons
Sort
View
HICSS
2009
IEEE
103views Biometrics» more  HICSS 2009»
14 years 4 months ago
A Thin Client Interface to a High Performance Multi-modal Image Analytics System
We describe a platform for performing text and radiology analytics (TARA). We integrate commercially available hardware and middleware components to construct an environment which...
James W. Cooper, Shahram Ebadollahi, Ellen Eide
STACS
2009
Springer
14 years 4 months ago
The Dynamic Complexity of Formal Languages
The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained us...
Wouter Gelade, Marcel Marquardt, Thomas Schwentick
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
14 years 4 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
DATE
2009
IEEE
102views Hardware» more  DATE 2009»
14 years 4 months ago
Register placement for high-performance circuits
—In modern sub-micron design, achieving low-skew clock distributions is facing challenges for high-performance circuits. Symmetric global clock distribution and clock tree synthe...
Mei-Fang Chiang, Takumi Okamoto, Takeshi Yoshimura
ICRA
2009
IEEE
106views Robotics» more  ICRA 2009»
14 years 4 months ago
Inverse kinematics with closed form solutions for highly redundant robotic systems
— This paper presents inverse position kinematics algorithms with real time capability for Justin, a robotic system with high redundancy and many degrees of freedom. The combinat...
Rainer Konietschke, Gerd Hirzinger