Sciweavers

2013 search results - page 245 / 403
» Happy New Year
Sort
View
AAAI
2004
15 years 8 months ago
SAT-Based Answer Set Programming
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
AOIS
2004
15 years 8 months ago
Mobeet: A Multi-agent Framework for Ubiquitous Information Systems
Abstract. In recent years, the rapid development of network infrastructure and the spread of terminals capable of network access have made it possible to access networks at any pla...
Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honide...
BIOCOMP
2006
15 years 8 months ago
Filtering Tandem Repeats in DNA Sequences
A tandem repeat is a sequence of two or more contiguous, approximate copies of a pattern. Tandem repeats occur in the genomes of both eukaryotic and prokaryotic organisms. They ar...
Dina Sokol, Justin Tojeira
DAGSTUHL
2004
15 years 8 months ago
ECA Perspectives - Requirements, Applications, Technology
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
Anton Eliëns, Zhisheng Huang, Johan F. Hoorn,...
179
Voted
DBSEC
2006
115views Database» more  DBSEC 2006»
15 years 8 months ago
Creating Objects in the Flexible Authorization Framework
Access control is a crucial concern to build secure IT systems and, more specifically, to protect the confidentiality of information. However, access control is necessary, but not ...
Nicola Zannone, Sushil Jajodia, Duminda Wijesekera