Sciweavers

3616 search results - page 56 / 724
» Conditional Memory Ordering
Sort
View
CSL
2006
Springer
15 years 7 months ago
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
Alexander Moshe Rabinovich, Wolfgang Thomas
136
Voted
SIGGRAPH
1993
ACM
15 years 8 months ago
Radiosity algorithms using higher order finite element methods
Many of the current radiosity algorithms create a piecewise constant approximation to the actual radiosity. Through interpolation and extrapolation, a continuous solution is obtai...
Roy Troutman, Nelson L. Max
EMNLP
2007
15 years 5 months ago
Experiments with a Higher-Order Projective Dependency Parser
We present experiments with a dependency parsing model defined on rich factors. Our model represents dependency trees with factors that include three types of relations between t...
Xavier Carreras
CONCUR
1997
Springer
15 years 8 months ago
First-Order Axioms for Asynchrony
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
Peter Selinger
IJBC
2010
123views more  IJBC 2010»
15 years 1 months ago
Synchronization of Chaotic fractional-Order Systems via Linear Control
The chaotic dynamics of fractional-order systems has attracted much attention recently. Chaotic synchronization of fractional-order systems is further studied in this paper. We inv...
Zaid M. Odibat, Nathalie Corson, M. A. Aziz-Alaoui...