Sciweavers

2576 search results - page 197 / 516
» Methodology work is ontology work
Sort
View
AUSAI
1997
Springer
15 years 11 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
GLOBECOM
2007
IEEE
15 years 10 months ago
Capacity Assignment for Delay Bounded Packet Traffic
The capacity assignment (CA) problem is one of the most essential yet important topics in packet communication networks. However, most reported CA models were established under the...
Xian Liu
JELIA
2000
Springer
15 years 10 months ago
A Compilation of Brewka and Eiter's Approach to Prioritization
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...
James P. Delgrande, Torsten Schaub, Hans Tompits
150
Voted
DAC
2005
ACM
15 years 8 months ago
On the need for statistical timing analysis
Traditional corner analysis fails to guarantee a target yield for a given performance metric. However, recently proposed solutions, in the form of statistical timing analysis, whi...
Farid N. Najm
AGI
2008
15 years 8 months ago
Four Paths to AI
There are a wide variety of approaches to Artificial Intelligence. Yet interestingly we find that these can all be grouped into four broad categories: Silver Bullets, Core Values, ...
Jonathan Connell, Kenneth Livingston