Sciweavers

1562 search results - page 217 / 313
» Convenience Over Correctness
Sort
View
ECAI
2000
Springer
15 years 2 months ago
Beat Tracking with Musical Knowledge
Abstract. When a person taps a foot in time with a piece of music, they are performing beat tracking. Beat tracking is fundamental to the understanding of musical structure, and th...
Simon Dixon, Emilios Cambouropoulos
CGI
1999
IEEE
15 years 2 months ago
Visualizing Knowledge about Virtual Reconstructions of Ancient Architecture
One of the assumptions of current software for visualizing architecture is that the underlying geometry is a correct, objective, and complete representation of the objects in ques...
Thomas Strothotte, Maic Masuch, Tobias Isenberg
CSFW
1999
IEEE
15 years 2 months ago
Process Algebra and Non-Interference
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
Peter Y. A. Ryan, Steve A. Schneider
ICFP
1999
ACM
15 years 2 months ago
Specialization of Inductively Sequential Functional Logic Programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
María Alpuente, Michael Hanus, Salvador Luc...
ICRA
1999
IEEE
133views Robotics» more  ICRA 1999»
15 years 2 months ago
An Autonomous Sensor-Based Path-Planner for Planetary Microrovers
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...
Sharon L. Laubach, Joel W. Burdick