9264 search results - page 218 / 1853 » Space Between Languages |
141
click to vote
IJAIT
2006
15 years 5 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
138
Voted
JBI
2008
15 years 5 months ago
2008
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...
151
click to vote
TOPLAS
1998
15 years 4 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
141
click to vote
TOPLAS
2010
15 years 3 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
151
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
Existing color constancy methods cannot handle both uniform colored surfaces and highly textured surfaces in a single integrated framework. Statistics-based methods require many s...