264 search results - page 26 / 53 » Expressing Iterative Properties Logically in a Symbolic Sett... |
DFG
2007
Springer
15 years 5 months ago
2007
Springer
: To better understand how developmental regulatory networks are defined in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...
CORIA
2008
15 years 21 days ago
2008
This paper presents an iterative and interactive information retrieval system to search on the web using formal concept analysis (FCA). FCA provides a natural way to organise objec...
KR
2000
Springer
15 years 2 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...
104
click to vote
CSL
2010
Springer
15 years 10 days ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
132
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...