Sciweavers

284 search results - page 18 / 57
» di 2006
Sort
View
BIRTHDAY
2006
Springer
15 years 3 months ago
Abstract Interpretation for Worst and Average Case Analysis
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ECAI
2006
Springer
15 years 3 months ago
A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
JGAA
2006
75views more  JGAA 2006»
14 years 11 months ago
Upward Planar Drawings and Switch-regularity Heuristics
In this paper we present a new characterization of switch-regular upward embeddings, a concept introduced by Di Battista and Liotta in 1998. This characterization allows us to def...
Walter Didimo
CSC
2006
15 years 1 months ago
Optimal Automatic Control Solution to Nonanticipating Operator Dynamical Systems
: A review of a uni...ed approach to nonlinear operator dynamical systems is presented. The solution to a system of nonanticipating operator di
Reza Ahangar, Ebrahim Salehi
ENTCS
2006
88views more  ENTCS 2006»
14 years 11 months ago
On Reversible Combinatory Logic
The -calculus is destructive: its main computational mechanism
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...