3342 search results - page 154 / 669 » Automating Abstract Interpretation |
139
Voted
PIMRC
2010
IEEE
15 years 19 days ago
2010
IEEE
Abstract--Troubleshooting of wireless networks is a challenging network management task. We have developed, in a previous work, a new troubleshooting methodology, which we named St...
136
Voted
DLOG
2009
15 years 16 days ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
99
Voted
IEEEVAST
2010
14 years 9 months ago
2010
Insight Externalization (IE) refers to the process of capturing and recording the semantics of insights in decision making and problem solving. To reduce human effort, Automated I...
332
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
Abstract-Failures of Internet services and enterprise systems lead to user dissatisfaction and considerable loss of revenue. Since manual diagnosis is often laborious and slow, the...
93
Voted
MICCAI
2003
Springer
16 years 3 months ago
2003
Springer
Abstract. An automated method for segmenting the outer boundary of abdominal aortic aneurysms in MR images is presented. The method is based on the well known Active Shape Models (...