2416 search results - page 192 / 484 » The Language of Cortical Dynamics |
447
click to vote
VR
2012
IEEE
14 years 2 months ago
2012
IEEE
This paper presents Virtual Reality Mechanism Design Studio (VRMDS), an intuitive virtual environment for supporting the interactive design and simulation of mechanisms. The studio...
156
click to vote
ECOOP
2007
Springer
16 years 19 days ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
160
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
182
click to vote
DLS
2007
15 years 10 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
173
click to vote
DLS
2008
15 years 8 months ago
2008
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, w...