202 search results - page 25 / 41 » Logical Mobility and Locality Types |
138
click to vote
JSW
2007
15 years 2 months ago
2007
— Many future ubiquitous devices will be able to determine their precise physical position using different types of localization techniques (e.g. GPS antennas for outdoor-, RFID ...
126
click to vote
SIGIR
1996
ACM
15 years 7 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
215
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
189
click to vote
TLDI
2010
ACM
15 years 12 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
154
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
:This paper presents a trajectory planning algorithm for mobile robots which may be subject to kinodynamic constraints. Using computational methods from noncommutative harmonic ana...