1113 search results - page 22 / 223 » Counter Systems for Data Logics |
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
158
click to vote
JMLR
2008
15 years 3 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
144
click to vote
ICBA
2004
Springer
15 years 9 months ago
2004
Springer
The 9/11 tragedy triggered an increased interest in biometric passports. According to several sources [2], the electronic ID market is expected to increase by more than 50% per ann...
135
click to vote
JIFS
2002
15 years 3 months ago
2002
Microarray technologies have allowed the measurement of expression of multiple genes simultaneously. Gene expression levels can be used to classify tissues into diagnostic or progn...
141
click to vote
DLOG
2000
15 years 5 months ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...