873 search results - page 57 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
176
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
246
click to vote
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
We present a novel approach to statistical shape analysis of anatomical structures based on small sample size learning techniques. The high complexity of shape models used in medic...
146
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Just like Remote Procedure Call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, Type-based Publish-SubTPS) can be viewed a...
149
click to vote
SIGCOMM
2006
ACM
16 years 2 days ago
2006
ACM
We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of ...
155
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This article presents a novel design flow called MOUSE for the effective development of digital signal processing systems in terms of development time, performance and p...