Sciweavers

3786 search results - page 320 / 758
» Structure Comparison and Structure Patterns
Sort
View
142
Voted
QSIC
2003
IEEE
15 years 10 months ago
A Note on Test Oracles and Semantics of Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
Hong Zhu
149
Voted
ISMIR
2001
Springer
196views Music» more  ISMIR 2001»
15 years 9 months ago
MUSART: Music Retrieval Via Aural Queries
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
William P. Birmingham
145
Voted
IV
2000
IEEE
152views Visualization» more  IV 2000»
15 years 9 months ago
Effects of Desktop 3D World Design on User Navigation and Search Performance
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...
David Modjeska, John A. Waterworth
EUROGP
1999
Springer
137views Optimization» more  EUROGP 1999»
15 years 9 months ago
Evolving Controllers for Autonomous Agents Using Genetically Programmed Networks
– This article presents a new approach to the evolution of controllers for autonomous agents. We propose the evolution of a connectionist structure where each node has an associa...
Arlindo Silva, Ana Neves, Ernesto Costa
138
Voted
ISLPED
1998
ACM
69views Hardware» more  ISLPED 1998»
15 years 9 months ago
A unified approach in the analysis of latches and flip-flops for low-power systems
In this paper we propose a set of rules for consistent estimation of the real performance and power features of the latch and flip-flop structures. A new simulation and optimizati...
Vladimir Stojanovic, Vojin G. Oklobdzija, Raminder...