7335 search results - page 1132 / 1467 » Scene Based Reasoning |
187
click to vote
ECCC
2007
15 years 6 months ago
2007
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
159
click to vote
EG
2007
15 years 6 months ago
2007
: This paper investigates the relationship between broadband and service innovation in an e-government context. We ask, what characterizes successful broadband based service innova...
193
click to vote
JSAC
2006
15 years 6 months ago
2006
One of the reasons for the limitation of bandwidth in current generation wireless networks is the spectrum policy of the Federal Communications Commission (FCC). But, with the spec...
157
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
148
click to vote
JSS
2006
15 years 6 months ago
2006
Many claims have been made about the consequences of not documenting design rationale. The general perception is that designers and architects usually do not fully understand the ...