Sciweavers

2184 search results - page 211 / 437
» Modeling and Realizing Interoperability
Sort
View
PADL
2004
Springer
14 years 1 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
ISCAS
2002
IEEE
96views Hardware» more  ISCAS 2002»
14 years 1 months ago
Analysis of interleaved converters with WTA-based switching
This paper presents interleaved buck converters using a switching rule based on winner-take-all nonlinearity. The switching rule can realize flexible phase control and the system...
Toshimichi Saito, M. Yoshizawa, Hiroyuki Torikai, ...
INFOVIS
1998
IEEE
14 years 14 days ago
Saying It in Graphics: From Intentions to Visualizations
We propose a methodology for automatically realizing communicative goals in graphics. It features a task model that mediates the communicative intent and the selection of graphica...
Stephan M. Kerpedjiev, Giuseppe Carenini, Nancy L....
EDOC
2007
IEEE
14 years 4 days ago
From Business to IT with SEAM: The J2EE Pet Store Example
Business and IT alignment demands clear traceability between the applications to be developed and the business requirements. SEAM is a systemic visual approach for modeling system...
Irina Rychkova, Gil Regev, Lam-Son Lê, Alain...
AAAI
2008
13 years 10 months ago
Efficient Metadeliberation Auctions
Imagine a resource allocation scenario in which the interested parties can, at a cost, individually research ways of using the resource to be allocated, potentially increasing the...
Ruggiero Cavallo, David C. Parkes