Sciweavers

564 search results - page 14 / 113
» Some Results on the Expressive Power and Complexity of LSCs
Sort
View
AAAI
1997
15 years 2 months ago
Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling
Difficult real-time AI problems require a means for expressing multi-dimensional and dynamic goal criteria and a principled model for satisficing to best meet the criteria. In the...
Thomas Wagner, Alan Garvey, Victor R. Lesser
ICLP
1997
Springer
15 years 5 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
BMCBI
2008
121views more  BMCBI 2008»
15 years 1 months ago
GeneTrailExpress: a web-based pipeline for the statistical evaluation of microarray experiments
Background: High-throughput methods that allow for measuring the expression of thousands of genes or proteins simultaneously have opened new avenues for studying biochemical proce...
Andreas Keller, Christina Backes, Maher Al-Awadhi,...
DFN
2003
15 years 2 months ago
Virtual Private Networks Coping with Complexity
: Large-scale deployment of virtual private networks with hundreds or thousands of clients means a constant battle with complexity that can only be won by setting up powerful authe...
Andreas Steffen
ACST
2006
15 years 2 months ago
Structural analysis of handwritten mathematical expressions through fuzzy parsing
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...
John A. Fitzgerald, Franz Geiselbrechtinger, M. Ta...