Sciweavers

3441 search results - page 267 / 689
» Intelligent Computation of Presentation Documents
Sort
View
ISMIS
1994
Springer
15 years 11 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...
ECAI
2008
Springer
15 years 9 months ago
Towards Efficient Belief Update for Planning-Based Web Service Composition
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
Jörg Hoffmann
AAAI
2000
15 years 8 months ago
Preventing Strategic Manipulation in Iterative Auctions: Proxy Agents and Price-Adjustment
Iterative auctions have many computational advantages over sealed-bid auctions, but can present new possibilities for strategic manipulation. We propose a two-stage technique to m...
David C. Parkes, Lyle H. Ungar
ITICSE
2003
ACM
16 years 16 days ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
Timothy Huang, Frank Swenton
EVOW
2001
Springer
15 years 11 months ago
A Constructive Evolutionary Approach to School Timetabling
This work presents a constructive approach to the process of fixing a sequence of meetings between teachers and students in a prefixed period of time, satisfying a set of constrain...
Geraldo Ribeiro Filho, Luiz Antonio Nogueira Loren...