11324 search results - page 326 / 2265 » Coordination Models and Languages |
238
click to vote
APAL
2011
15 years 1 months ago
2011
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...
183
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
The continuing advancement of plasma science is central to realizing fusion as an inexpensive and safe energy source. Gryokinetic simulations of plasmas are fundamental to the und...
171
click to vote
ROBOCUP
2009
Springer
16 years 1 months ago
2009
Springer
Fast-paced dynamic environments like robot soccer require highly responsive and dynamic locomotion. We present an implementation of an omnidirectional ZMP-based walk engine for the...
170
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
169
click to vote
ISCC
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract—The link layer of an optical direct-detection code-division multiple-access (CDMA) packet network is considered. Two different protocols that need pretransmission coordi...