Sciweavers

1520 search results - page 175 / 304
» Class Hierarchy Specialization
Sort
View
ARGMAS
2004
Springer
14 years 1 months ago
Layered Strategies and Protocols for Argumentation-Based Agent Interaction
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
FSTTCS
2004
Springer
14 years 1 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
IWCIA
2004
Springer
14 years 1 months ago
Minimum-Length Polygon of a Simple Cube-Curve in 3D Space
We consider simple cube-curves in the orthogonal 3D grid of cells. The union of all cells contained in such a curve (also called the tube of this curve) is a polyhedrally bounded s...
Fajie Li, Reinhard Klette
MHCI
2004
Springer
14 years 1 months ago
"Please Turn ON Your Mobile Phone" - First Impressions of Text-Messaging in Lectures
Previous work by Draper and Brown [3] investigated the use of specialized handsets to increase interactivity in lecture settings. Inspired by their encouraging findings we have bee...
Matt Jones, Gary Marsden
PADL
2004
Springer
14 years 1 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu