5675 search results - page 730 / 1135 » Formalising Performative Interaction |
203
click to vote
PEPM
2007
ACM
16 years 29 days ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
199
click to vote
ROBOCUP
2007
Springer
16 years 29 days ago
2007
Springer
Reinforcement learning is a paradigm under which an agent seeks to improve its policy by making learning updates based on the experiences it gathers through interaction with the en...
185
click to vote
SMALLTALK
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
178
click to vote
TACAS
2007
Springer
16 years 29 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
285
click to vote
VLSI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...