4650 search results - page 629 / 930 » Generating and evaluating evaluative arguments |
148
click to vote
SASP
2009
IEEE
15 years 11 months ago
2009
IEEE
—With the appearance of massively parallel and inexpensive platforms such as the G80 generation of NVIDIA GPUs, more real-life applications will be designed or ported to these pl...
160
click to vote
SEMCO
2009
IEEE
15 years 11 months ago
2009
IEEE
- Semantic processing represents the new challenge for all applications that require text understanding, as for instance Q/A. In this paper we will highlight the need to couple sta...
213
click to vote
WETICE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Cloud Computing, born in the e-business context, and GRID computing, originated in the e-science context, are two different but similar paradigms for managing large sets of dist...
137
click to vote
WIMOB
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, we consider the design of caching infrastructure to enhance the client-perceived performance of mobile wireless clients retrieving multimedia objects from the Int...
144
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...