Sciweavers

234 search results - page 37 / 47
» Rough Set Approximations in Formal Concept Analysis
Sort
View
SYNTHESE
2011
177views more  SYNTHESE 2011»
13 years 2 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets
BMCBI
2006
141views more  BMCBI 2006»
13 years 7 months ago
Visual setup of logical models of signaling and regulatory networks with ProMoT
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
Julio Saez-Rodriguez, Sebastian Mirschel, Rebecca ...
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
13 years 2 months ago
A projection framework for near-potential games
Potential games are a special class of games that admit tractable static and dynamic analysis. Intuitively, games that are "close" to a potential game should enjoy somewh...
Ozan Candogan, Asuman E. Ozdaglar, Pablo A. Parril...
MSR
2006
ACM
14 years 1 months ago
Mining eclipse for cross-cutting concerns
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
Silvia Breu, Thomas Zimmermann, Christian Lindig
CLEIEJ
2008
103views more  CLEIEJ 2008»
13 years 7 months ago
An Ontology-based Framework and its Application to Effective Collaboration
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
Seiji Isotani, Riichiro Mizoguchi