3342 search results - page 154 / 669 » Automating Abstract Interpretation |
107
click to vote
PIMRC
2010
IEEE
14 years 9 months 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...
104
click to vote
DLOG
2009
14 years 9 months 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....
IEEEVAST
2010
14 years 6 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...
184
click to vote
ICDE
2009
IEEE
16 years 29 days 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...
MICCAI
2003
Springer
16 years 3 days 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 (...