Sciweavers

211 search results - page 11 / 43
» Ground Reducibility is EXPTIME-Complete
Sort
View
ISMIR
2004
Springer
112views Music» more  ISMIR 2004»
15 years 11 months ago
Perceptual Segment Clustering For Music Description And Time-axis Redundancy Cancellation
Repeating sounds and patterns are widely exploited throughout music. However, although analysis and music information retrieval applications are often concerned with processing sp...
Tristan Jehan
ISCAS
2007
IEEE
95views Hardware» more  ISCAS 2007»
15 years 12 months ago
Substrate Noise Reduction Based On Noise Aware Cell Design
— A substrate biasing methodology is introduced based on modifying standard cells by inserting dedicated substrate contacts in those cells behaving as aggressive digital noise ge...
Emre Salman, Eby G. Friedman, Radu M. Secareanu, O...
ASP
2005
Springer
15 years 11 months ago
A Preliminary Report on Integrating of Answer Set and Constraint Solving
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
Sabrina Baselice, Piero A. Bonatti, Michael Gelfon...
FLAIRS
2001
15 years 7 months ago
Current Level of Mission Control Automation at NASA Goddard Space Flight Center
NASAis particularly concerned with reducing mission operations costs through increased automation. Specifically, NASAhas been studying the use of Artificial Intelligence (AI) to f...
Lori Maks, Julie Breed, Michael Rackley
ICPR
2008
IEEE
16 years 3 days ago
Image transformation for object tracking in high-resolution video
We propose a new method for warping highresolution images to efficiently track objects on the ground plane in real time. Recently, the emergence of high resolution video cameras (...
Tae Eun Choe, Krishnan Ramnath, Mun Wai Lee, Niels...