10870 search results - page 1876 / 2174 » Model Checking Programs |
215
click to vote
INFOCOM
2006
IEEE
16 years 1 months 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...
193
click to vote
IPPS
2006
IEEE
16 years 1 months 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 ...
176
click to vote
IROS
2006
IEEE
16 years 1 months 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...
176
click to vote
ISESE
2006
IEEE
16 years 1 months 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...
179
click to vote
GRAPHITE
2006
ACM
16 years 1 months 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...