27827 search results - page 483 / 5566 » Generating |
139
click to vote
APN
2004
Springer
15 years 10 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
124
click to vote
ARGMAS
2004
Springer
15 years 10 months ago
2004
Springer
The notion of agent’s goals is crucial in negotiation dialogues. In fact, during a negotiation, each agent tries to make and to accept the offers which satisfy its own goals. Wor...
160
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
138
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
102
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we describe a parameterizable FPGA-based implementation of a sigma-delta converter used in a 96kHz audio DAC. From specifications of the converter’s input bitwidth...