1636 search results - page 245 / 328 » Reasoning About Quantum Systems |
160
click to vote
SASO
2008
IEEE
16 years 17 days ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
171
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
At the core of contemporary high performance computer systems is the communication infrastructure. For this reason, there has been a lot of work on providing low-latency, high-ban...
122
click to vote
ROMAN
2007
IEEE
16 years 13 days ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
184
click to vote
IFSA
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
139
click to vote
MONTEREY
2007
Springer
16 years 9 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...