Sciweavers

3597 search results - page 362 / 720
» Flexible Database Generators
Sort
View
ECAI
2004
Springer
15 years 10 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
ATAL
2008
Springer
15 years 8 months 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, ...
207
Voted
CODES
2008
IEEE
15 years 8 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
15 years 8 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
BMCBI
2010
146views more  BMCBI 2010»
15 years 7 months ago
Booly: a new data integration platform
Background: Data integration is an escalating problem in bioinformatics. We have developed a web tool and warehousing system, Booly, that features a simple yet flexible data model...
Long H. Do, Francisco F. Esteves, Harvey J. Karten...