Sciweavers

2214 search results - page 179 / 443
» Complexity of Reasoning
Sort
View
125
Voted
VCIP
2003
183views Communications» more  VCIP 2003»
15 years 5 months ago
Fast motion estimation and mode decision with variable motion block sizes
The adaptive coding schemes in H.264 standard provide a significant coding efficiency and some additional features like error resilience and network friendliness. The variable blo...
Woong Il Choi, Jeyun Lee, Sungmo Yang, Byeungwoo J...
125
Voted
SIGMETRICS
2010
ACM
203views Hardware» more  SIGMETRICS 2010»
15 years 3 months ago
An analytical framework to infer multihop path reliability in MANETs
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...
Nelson Antunes, Gonçalo Jacinto, Antó...
151
Voted
ECSQARU
2005
Springer
15 years 9 months ago
Hydrologic Models for Emergency Decision Support Using Bayesian Networks
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
Martín Molina, Raquel Fuentetaja, Luis Garr...
127
Voted
FTCS
1998
79views more  FTCS 1998»
15 years 5 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
143
Voted
DLOG
2009
15 years 1 months ago
A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
Thomas Lukasiewicz, Azzurra Ragone