6978 search results - page 1292 / 1396 » On Proofs in System P |
TRANSCI
2008
13 years 9 months ago
2008
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...
VLSISP
2008
13 years 9 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
AAMAS
2002
Springer
13 years 9 months ago
2002
Springer
Service matchmaking among heterogeneous software agents in the Internet is usually done dynamically and must be efficient. There is an obvious trade-off between the quality and eff...
AUTOMATICA
2002
13 years 9 months ago
2002
Stable operation of axial and centrifugal compressors is limited towards low mass ows due to the occurrence of surge. The stable operating region can be enlarged by active control...
ALIFE
2000
13 years 9 months ago
2000
The evolution of simulated robots with three different architectures is studied in this article. We compare a nonmodular feed-forward network, a hardwired modular, and a duplicatio...