10568 search results - page 1647 / 2114 » Computer Intelligence and Formalization |
132
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are many common error sources that influence mapping, e.g., salt and pepper noise as well as other effects occurring quite uniformly distributed over the map. On the oth...
214
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
193
Voted
IJAR
2010
15 years 5 months ago
2010
We explore generalizations of the pari-mutuel model (PMM), a formalization of an intuitive way of assessing an upper probability from a precise one. We discuss a naive extension o...
221
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Wireless mesh networks have been widely deployed to provide broadband network access, and their performance can be significantly improved by using a new technology called netwo...
159
click to vote
JASIS
2010
15 years 5 months ago
2010
The United States Supreme Court case of 1991, Feist Publications, Inc. v. Rural Tel. Service Co., continues to be highly significant for property in data and databases but remains...