3256 search results - page 596 / 652 » Applications of Formal Methods to System Design and Verifica... |
GECCO
2003
Springer
15 years 3 months ago
2003
Springer
The process of labeling each word in a sentence with one of its lexical categories (noun, verb, etc) is called tagging and is a key step in parsing and many other language processi...
FPGA
1998
ACM
15 years 2 months ago
1998
ACM
In this paper, we present an algorithm for circuit partitioning with complex resource constraints in large FPGAs. Traditional partitioning methods estimate the capacity of an FPGA...
110
click to vote
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
When exploring a game over a large strategy space, it may not be feasible or cost-effective to evaluate the payoff of every relevant strategy profile. For example, determining a p...
ATC
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
COMMA
2008
14 years 11 months ago
2008
This paper describes a method for decision making using argumentation. The method is intended to produce the decision considered most likely to promote the agent's aims and as...