3820 search results - page 136 / 764 » Bounded Model Debugging |
117
click to vote
PODS
2006
ACM
16 years 2 months ago
2006
ACM
Given that most elementary problems in database design are NP-hard, the currently used database design algorithms produce suboptimal results. For example, the current 3NF decompos...
98
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Vehicular Internet access via open WLAN access points (APs) has been demonstrated to be a feasible solution to provide opportunistic data service to moving vehicles. Using an in...
112
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
131
click to vote
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
— The current access point (AP) association schemes in wireless LANs, such as IEEE 802.11, cause an unbalanced load which reduces the performance of both the entire network and i...
114
Voted
VTS
2007
IEEE
15 years 9 months ago
2007
IEEE
: Conventionally, path delay tests are derived in a delay-independent manner, which causes most faults to be robustly untestable. Many non-robust tests are found but, in practice, ...