Sciweavers

748 search results - page 70 / 150
» Mechanism design for abstract argumentation
Sort
View
EWCBR
2008
Springer
13 years 11 months ago
Understanding Dubious Future Problems
Abstract. Being able to predict the performance of a Case-Based Reasoning(CBR) system against a set of future problems would provide invaluable information for design and maintenan...
Oguz Mülâyim, Josep Lluís Arcos
ACISICIS
2010
IEEE
13 years 11 months ago
User-Model-Based Evaluation for Interactive Image Retrieval
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...
Masashi Inoue, Manh Hong Nguyen
OPODIS
2003
13 years 11 months ago
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
Bram De Wachter, Thierry Massart, Cédric Me...
DBSEC
2009
124views Database» more  DBSEC 2009»
13 years 11 months ago
Towards System Integrity Protection with Graph-Based Policy Analysis
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn
DEXA
2010
Springer
186views Database» more  DEXA 2010»
13 years 10 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...