3690 search results - page 214 / 738 » Computation with classical sequents |
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
This article addresses a question regarding relevant information in a social media such as a wiki that can contain huge amount of text, written in slang or in natural language, wi...
126
Voted
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
110
Voted
DIS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Group comparison per se is a fundamental task in many scientific endeavours but is also the basis of any classifier. Contrast sets and emerging patterns contrast betwee...
116
click to vote
TAMC
2009
Springer
15 years 7 months ago
2009
Springer
In classical network flow theory the choice of paths, on which flow is sent, is only restricted by arc capacities. This, however, is not realistic in most applications. Many prob...
73
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
Tracking nano-metric particles in a biological environment is a very difficult task because of the low signal intensity and the high mobility of these small objects. The task bec...