7429 search results - page 1264 / 1486 » Embedded System Update |
183
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
There has been a significant increase in interest and participation in social networking websites recently. For many users, social networks are indispensable tools for sharing pe...
184
click to vote
ICRA
2008
IEEE
16 years 27 days ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...
205
click to vote
TRIDENTCOM
2008
IEEE
16 years 26 days ago
2008
IEEE
— This paper presents the NTP experimental platform for heterogeneous wireless sensor networks (WSN), which is built on the campus of National Tsing Hua University under the supp...
172
click to vote
APLAS
2006
ACM
16 years 14 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
156
click to vote
SIGIR
2006
ACM
16 years 13 days ago
2006
ACM
We present a new family of hybrid index maintenance strategies to be used in on-line index construction for monotonically growing text collections. These new strategies improve up...