3108 search results - page 340 / 622 » The Elements of Computer Credibility |
145
click to vote
WSC
1997
15 years 8 months ago
1997
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
153
click to vote
MVA
1996
15 years 8 months ago
1996
We propose a video enhancement sensor for smoothing random noise and getting wide dynamic range. The sensor has computational elements based on a column-parallel architecture. It ...
203
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
275
Voted
DILS
2010
Springer
15 years 7 months ago
2010
Springer
Matching life science ontologies to determine ontology mappings has recently become an active field of research. The large size of existing ontologies and the application of comple...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- We propose distributed algorithms to automatically deploy a group of robotic agents and provide coverage of a discretized environment represented by a graph. The classic...