2354 search results - page 193 / 471 » A Common-Sense Theory of Time |
148
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
Algorithmic methods based on the theory of fixed-parameter tractability are combined with powerful computational platforms to launch systematic attacks on combinatorial problems o...
COR
2006
15 years 6 months ago
2006
Evolution by natural selection may include both frequency and density-dependence. Frequency-dependent selection is a kind of hermeneutic circle. As a literary term (and a school o...
156
click to vote
IJBC
2008
15 years 6 months ago
2008
Considering trajectory curves, integral of n-dimensional dynamical systems, within the framework of Differential Geometry as curves in Euclidean n-space it will be established in ...
157
click to vote
JCIT
2008
15 years 6 months ago
2008
This paper was utilized robust model to simulate sea surface current pattern. The horizontal surface velocity model was modified based on the Doppler frequency theory to model the...
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...