Sciweavers

6549 search results - page 669 / 1310
» Parsimonious additive models
Sort
View
ICNS
2009
IEEE
16 years 2 months ago
Psychometric and Evidentiary Approaches to Simulation Assessment in Packet Tracer Software
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...
Dennis C. Frezzo, John T. Behrens, Robert J. Misle...
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 2 months ago
DASH: A dynamic 16g hexapedal robot
—DASH is a small, lightweight, power autonomous robot capable of running at speeds up to 15 body lengths per second (see video). Drawing inspiration from biomechanics, DASH has a...
Paul Birkmeyer, Kevin Peterson, Ronald S. Fearing
TPHOL
2009
IEEE
16 years 2 months ago
Types, Maps and Separation Logic
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
Rafal Kolanski, Gerwin Klein
ACCV
2009
Springer
16 years 2 months ago
Human Action Recognition Using HDP by Integrating Motion and Location Information
The method based on local features has an advantage that the important local motion feature is represented as bag-of-features, but lacks the location information. Additionally, in ...
Yasuo Ariki, Takuya Tonaru, Tetsuya Takiguchi
ALDT
2009
Springer
172views Algorithms» more  ALDT 2009»
16 years 2 months ago
On Multi-dimensional Envy-Free Mechanisms
Traditional performance analysis of approximation algorithms considers overall performance, while economic fairness analysis focuses on the individual performance each user receiv...
Ahuva Mu'alem