2393 search results - page 316 / 479 » Adaptive Narrative Abstraction |
198
Voted
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
187
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
236
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
197
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Games are considered important benchmark tasks of artificial intelligence research. Modern strategic board games can typically be played by three or more people, which m...
182
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...