14190 search results - page 245 / 2838 » Abstractions for hybrid systems |
169
click to vote
ICPPW
2007
IEEE
16 years 26 days ago
2007
IEEE
P2P technology has been widely adopted in live streaming system for its scalability and low commercial cost. However, tree based system or mesh based system still has to face the ...
161
click to vote
CIMCA
2005
IEEE
16 years 8 days ago
2005
IEEE
Hybrid set of optimally trained feed-forward, Hopfield and Elman neural networks were used as computational tools and were applied to immunoinformatics. These neural networks ena...
161
click to vote
KI
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
208
click to vote
ISNN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
186
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...