1064 search results - page 162 / 213 » Disjoint Systems (Extended Abstract) |
141
Voted
FPCA
1989
15 years 7 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
160
Voted
KI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper presents a novel method for developing and evaluating intelligent robot behavior for joint human-robot activities. We extended a physical simulation of an auto...
144
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Early P2P-TV systems have already attracted millions of users, and many new commercial solutions are entering this market. Little information is however available about ...
147
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
121
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...