4650 search results - page 640 / 930 » Generating and evaluating evaluative arguments |
134
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
147
click to vote
SIPS
2008
IEEE
15 years 11 months ago
2008
IEEE
Modern microprocessor technology is migrating from simply increasing clock speeds on a single processor to placing multiple processors on a die to increase throughput and power pe...
129
click to vote
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
138
click to vote
SUTC
2008
IEEE
15 years 11 months ago
2008
IEEE
Semantic understanding of multimedia content has become a very popular research topic in recent years. Semantic concept detection algorithms face many challenges such as the seman...
256
click to vote
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...