Sciweavers

426 search results - page 25 / 86
» Possibilistic Stable Model Computing
Sort
View
AINA
2008
IEEE
14 years 2 months ago
Developing of an Ontological Focused-Crawler for Ubiquitous Services
This paper proposes the use of several ontological techniques to provide a semantic level solution for a search agent so that it can provide fast, precise, and stable search resul...
Sheng-Yuan Yang
DAC
2010
ACM
13 years 11 months ago
Automated compact dynamical modeling: an enabling tool for analog designers
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
Bradley N. Bond, Luca Daniel
IPPS
2010
IEEE
13 years 5 months ago
Stability of a localized and greedy routing algorithm
Abstract--In this work, we study the problem of routing packets between undifferentiated sources and sinks in a network modeled by a multigraph. We consider a distributed and local...
Christelle Caillouet, Florian Huc, Nicolas Nisse, ...
EPIA
2005
Springer
14 years 1 months ago
Operational Semantics for DyLPs
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
Federico Banti, José Júlio Alferes, ...
ICSE
2005
IEEE-ACM
14 years 7 months ago
The challenges of software engineering education
We discuss the technical skills that a software engineer should possess. We take the viewpoint of a school of engineering and put the software engineer's education in the wid...
Carlo Ghezzi, Dino Mandrioli