2624 search results - page 301 / 525 » The 2LIP model and its implementations |
155
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
95
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Authors Address the problem of recognition and retrieval of relatively weak industrial signal such as Partial Discharges (PD) buried in excessive noise. The major bottleneck being...
126
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Computer architects utilize simulation tools to evaluate the merits of a new design feature. The time needed to adequately evaluate the tradeoffs associated with adding any new fe...
102
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...