Sciweavers

4861 search results - page 188 / 973
» Parsimonious concept modeling
Sort
View
SPIN
2001
Springer
15 years 11 months ago
Model Checking Systems of Replicated Processes with Spin
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
Fabrice Derepas, Paul Gastin
ISCAS
1994
IEEE
104views Hardware» more  ISCAS 1994»
15 years 10 months ago
A Homotopy Continuation Method for Parameter Estimation in MRF Models and Image Restoration
In this paper, we present an alternate approach to estimate the parameters of a Markov random field (MRF) model for images using the concepts of homotopy continuation method. We a...
P. K. Nanda, Uday B. Desai, P. G. Poonacha
EKAW
2006
Springer
15 years 10 months ago
Multilayered Semantic Social Network Modeling by Ontology-Based User Profiles Clustering: Application to Collaborative Filtering
We propose a multilayered semantic social network model that offers different views of common interests underlying a community of people. The applicability of the proposed model to...
Iván Cantador, Pablo Castells
UML
2000
Springer
15 years 10 months ago
Precise Modeling of Design Patterns
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
Alain Le Guennec, Gerson Sunyé, Jean-Marc J...
IJCAI
2007
15 years 8 months ago
A New Perspective on Stable Models
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz