4650 search results - page 250 / 930 » Generating and evaluating evaluative arguments |
200
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
With increasingly more complex Multi-Processor Systems on Chip (MPSoC) and shortening time-to- market projections, Transaction Level Modeling and Platform Aware Design are seen as...
192
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
194
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences whic...
205
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
159
click to vote
MSWIM
2005
ACM
16 years 7 days ago
2005
ACM
In order for precise evaluation of MANET applications, more realistic mobility models are needed in wireless network simulations. In this paper, we focus on the behavior of pedest...