1912 search results - page 345 / 383 » On the evaluation of argumentation formalisms |
190
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Entity matching (a.k.a. record linkage) plays a crucial role in integrating multiple data sources, and numerous matching solutions have been developed. However, the solutions have...
132
click to vote
VIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
203
click to vote
GIS
2005
ACM
16 years 25 days ago
2005
ACM
Contraflow, or lane reversal, is a way of increasing outbound capacity of a real network by reversing the direction of inbound roads during evacuations. The contraflow is consider...
115
click to vote
ICSE
2008
IEEE-ACM
16 years 18 days ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
105
click to vote
SIGSOFT
2008
ACM
16 years 16 days ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...