2343 search results - page 174 / 469 » Structure and Interpretation of Computer Programs |
130
click to vote
ESANN
1998
15 years 6 months ago
1998
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...
146
click to vote
TCS
2008
15 years 5 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
160
click to vote
EUSFLAT
2007
15 years 6 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
156
Voted
PVM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Today’s large finite element simulations require parallel algorithms to scale on clusters with thousands or tens of thousands of processor cores. We present data struc...
176
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...