5639 search results - page 233 / 1128 » Timed Abstract Non-interference |
116
click to vote
ESA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We show that all algebraic-geometric codes possess a succinct representation that allows for the list decoding algorithms of [15, 7] to run in polynomial time. We do this...
112
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
148
click to vote
ER
2009
Springer
15 years 29 days ago
2009
Springer
Abstract. To integrate information, data in different formats, from different, potentially overlapping sources, must be related and transformed to meet the users' needs. Ten y...
142
click to vote
HCI
2009
15 years 29 days ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
150
click to vote
AIIDE
2009
15 years 22 days ago
2009
This paper proposes an Integrated MDP and POMDP Learning AgeNT (IMPLANT) architecture for adaptation in modern games. The modern game world basically involves a human player actin...