Sciweavers

211 search results - page 11 / 43
» Ground Reducibility is EXPTIME-Complete
Sort
View
ISMIR
2004
Springer
112views Music» more  ISMIR 2004»
14 years 27 days 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»
14 years 1 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
14 years 1 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
13 years 9 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
14 years 2 months 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...