Sciweavers

3679 search results - page 544 / 736
» Answer set based design of knowledge systems
Sort
View
TCAD
2008
75views more  TCAD 2008»
15 years 6 months ago
Static Analysis of Transaction-Level Communication Models
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
Giovanni Agosta, Francesco Bruschi, Donatella Sciu...
TVCG
2008
112views more  TVCG 2008»
15 years 6 months ago
VisComplete: Automating Suggestions for Visualization Pipelines
Building visualization and analysis pipelines is a large hurdle in the adoption of visualization and workflow systems by domain scientists. In this paper, we propose techniques to ...
David Koop, Carlos Eduardo Scheidegger, Steven P. ...
AUTOMATICA
2004
70views more  AUTOMATICA 2004»
15 years 6 months ago
Output feedback control of discrete linear repetitive processes
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
Bartlomiej Sulikowski, Krzysztof Galkowski, Eric R...
172
Voted
FDL
2007
IEEE
16 years 1 months ago
Time Modeling in MARTE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
Robert de Simone, Charles André
156
Voted
ATAL
2005
Springer
16 years 16 days ago
Individual beliefs and group acceptances within agent organizations
Groups of collaborative agents within organizations need to create group awareness in order to act as a single entity. The notion of collective belief, which has been used extensi...
Ioannis Partsakoulakis, George A. Vouros