1454 search results - page 68 / 291 » Stateful traits and their formalization |
88
Voted
ICFP
2005
ACM
16 years 16 days ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
129
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
135
Voted
ALIFE
2006
15 years 19 days ago
2006
Visualization has an increasingly important role to play in scientific research. Moreover, visualization has a special role to play within artificial life as a result of the inform...
113
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
92
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
MDPs are an attractive formalization for planning, but realistic problems often have intractably large state spaces. When we only need a partial policy to get from a fixed start s...