Sciweavers

3819 search results - page 375 / 764
» Simple Easy Terms
Sort
View
ASPDAC
2004
ACM
132views Hardware» more  ASPDAC 2004»
15 years 10 months ago
On handling arbitrary rectilinear shape constraint
Non-rectangular (rectilinear) shape occurs very often in deep submicron floorplanning. Most previous algorithms are designed to handle only convex rectilinear blocks. However, han...
Xiaoping Tang, Martin D. F. Wong
190
Voted
COLT
2006
Springer
15 years 10 months ago
Stable Transductive Learning
Abstract. We develop a new error bound for transductive learning algorithms. The slack term in the new bound is a function of a relaxed notion of transductive stability, which meas...
Ran El-Yaniv, Dmitry Pechyony
ECAI
2006
Springer
15 years 10 months ago
What's a Head Without a Body?
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...
Christian Anger, Martin Gebser, Tomi Janhunen, Tor...
ECAI
2006
Springer
15 years 10 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr
EDO
2000
Springer
15 years 10 months ago
Architectural Reflection: Realising Software Architectures via Reflective Activities
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industr...
Francesco Tisato, Andrea Savigni, Walter Cazzola, ...