2555 search results - page 90 / 511 » visual 2007 |
127
click to vote
JAR
2007
15 years 3 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
139
Voted
AR
2004
15 years 3 months ago
2004
This paper presents a method for learning the parameters of rhythmic walking to generate purposive humanoid motions. The controller consists of the two layers: rhythmic walking is...
168
Voted
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In classical image classification approaches, lowlevel features have been used. But the high dimensionality of feature spaces poses a challenge in terms of feature selec...
129
click to vote
INTERACT
2007
15 years 5 months ago
2007
We present CodeSaw, a social visualization of distributed software development. CodeSaw visualizes a distributed software community from two important and independent perspectives:...
129
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a code-revision history collection and visualization Eclipse plugin for use in empirical studies of programmers. The revision history is collected non-intrusiv...