460 search results - page 55 / 92 » An Exploration of Location Error Estimation |
161
click to vote
TACAS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
143
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Many studies have explored the issues of interruption and availability in workplace environments, however, few have focused on human interruptibility in home environments. To make...
141
click to vote
WEBI
2007
Springer
16 years 8 days ago
2007
Springer
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
158
click to vote
NLUCS
2008
15 years 7 months ago
2008
Abstract. To develop a computational model of understanding spatial expressions, various factors should be taken into account. We have been exploring the relations between the good...
149
click to vote
PAM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Many previous studies have examined the placement of access points (APs) to improve the community’s understanding of the deployment and behavioral characteristics of wi...