Sciweavers

11030 search results - page 346 / 2206
» Generative Sound Models
Sort
View
FORTE
2003
15 years 8 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
CLEF
2009
Springer
15 years 7 months ago
Automatically Generating Queries for Prior Art Search
This report outlines our participation in CLEF-IP's 2009 prior art search task. In the task's initial year our focus lay on the automatic generation of effective queries...
Erik Graf, Leif Azzopardi, Keith van Rijsbergen
CGF
2010
198views more  CGF 2010»
15 years 6 months ago
Feature Preserving Mesh Generation from 3D Point Clouds
We address the problem of generating quality surface triangle meshes from 3D point clouds sampled on piecewise smooth surfaces. Using a feature detection process based on the cova...
Nader Salman, Mariette Yvinec, Quentin Méri...
IJON
2007
88views more  IJON 2007»
15 years 6 months ago
Self-organisation can generate the discontinuities in the somatosensory map
The primary somatosensory cortex contains a topographic map of the body surface, with two notable discontinuities — the representation of the face is next to that of the hands, ...
Tom Stafford, Stuart P. Wilson
TCAD
2002
145views more  TCAD 2002»
15 years 6 months ago
Automatic generation of synthetic sequential benchmark circuits
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil