Sciweavers

761 search results - page 97 / 153
» Flexible Block-Multiplier Generation
Sort
View
ECAI
2004
Springer
14 years 1 months ago
Lakatos-Style Automated Theorem Modification
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
Simon Colton, Alison Pease
CIKM
2006
Springer
14 years 1 months ago
Structure-based querying of proteins using wavelets
The ability to retrieve molecules based on structural similarity has use in many applications, from disease diagnosis and treatment to drug discovery and design. In this paper, we...
Keith Marsolo, Srinivasan Parthasarathy, Kotagiri ...
ATAL
2008
Springer
14 years 2 days ago
Suspending and resuming tasks in BDI agents
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...
John Thangarajah, James Harland, David N. Morley, ...
CODES
2008
IEEE
13 years 12 months ago
Power reduction via macroblock prioritization for power aware H.264 video applications
As the importance of multimedia applications in hand-held devices increases, the computational strain and corresponding demand for energy in such devices continues to grow. Portab...
Michael A. Baker, Viswesh Parameswaran, Karam S. C...
WM
2003
13 years 11 months ago
Prozessorientiertes Wissensmanagement mit einem Unternehmensportal
Abstract: Durch den Einsatz von Wissensportalen gelingt es, die notwendige Flexibilität im workflow moderner Produktionsabläufe zur Erfüllung auch spezifischer Kundenwünsche zu...
Boris Lux, Thomas Mühlbradt