Sciweavers

1485 search results - page 121 / 297
» connection 2010
Sort
View
144
Voted
ASUNAM
2010
IEEE
15 years 7 months ago
Fast Discovery of Reliable Subnetworks
Abstract--We present a novel and efficient algorithm, PATH COVERING, for solving the most reliable subgraph problem. A reliable subgraph gives a concise summary of the connectivity...
Petteri Hintsanen, Hannu Toivonen, Petteri Sevon
AAAI
2010
15 years 7 months ago
Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
Sébastien Lahaie
ACIIDS
2010
IEEE
146views Database» more  ACIIDS 2010»
15 years 7 months ago
Entrance Detection of Buildings Using Multiple Cues
This paper describes an approach to detect the entrance of building with hopeful that it will be applied for autonomous navigation robot. The entrance is an important component whi...
Suk-Ju Kang, Hoang-Hon Trinh, Dae-Nyeon Kim, Kang-...
159
Voted
CADE
2010
Springer
15 years 7 months ago
MUNCH - Automated Reasoner for Sets and Multisets
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
Ruzica Piskac, Viktor Kuncak
CAISE
2010
Springer
15 years 7 months ago
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J...