10870 search results - page 1876 / 2174 » Model Checking Programs |
200
click to vote
INFOCOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— Wireless mesh network is designed as an economical solution for last-mile broadband Internet access. In this paper, we study bandwidth allocation in multi-channel multihop wire...
178
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...
154
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
161
click to vote
ISESE
2006
IEEE
16 years 21 days ago
2006
IEEE
How do design decisions impact the quality of the resulting software? In an empirical study of 52 ECLIPSE plug-ins, we found that the software design as well as past failure histo...
166
click to vote
GRAPHITE
2006
ACM
16 years 20 days ago
2006
ACM
Implicit surface is a well-known surface representation. Geometric details of an object can be represented using less surface primitives than other representations such as polygon...