Sciweavers

2184 search results - page 211 / 437
» Modeling and Realizing Interoperability
Sort
View
PADL
2004
Springer
15 years 7 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
80
Voted
ISCAS
2002
IEEE
96views Hardware» more  ISCAS 2002»
15 years 7 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
15 years 6 months 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
15 years 6 months 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...
76
Voted
AAAI
2008
15 years 4 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