2152 search results - page 258 / 431 » On Automating the Calculus of Relations |
181
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
177
click to vote
DKE
2006
15 years 6 months ago
2006
Many kinds of news report provide information about events. For example, business news reports in the area of mergers and acquisitions, provide information about events such as &q...
187
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
A stochastic numerical scheme for an extended immersed boundary method which incorporates thermal fluctuations for the simulation of microscopic biological systems consisting of fl...
168
click to vote
IIE
2007
15 years 6 months ago
2007
Two years ago the Faculty of Mathematics and Informatics at Sofia University makes a decision to design a new series of Logo-based courses which make use of the modern technology....
173
click to vote
TIT
2008
15 years 6 months ago
2008
Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...