14850 search results - page 2593 / 2970 » A Geometric Approach to Betweenness |
196
click to vote
KES
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Determining physical location of indoor objects is one of the key issues in ubiquitous computing. Although there are many proposals to provide physical location tracking,...
188
click to vote
WLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
197
click to vote
ACMDIS
2004
ACM
16 years 8 days ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
173
click to vote
ACMICEC
2004
ACM
16 years 8 days ago
2004
ACM
Elaborating on the rapid evolution of mobile entertainment services, this paper investigates customers’ preferences and attitudes towards mobile music services in Europe through...
204
click to vote
ISSTA
2004
ACM
16 years 8 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...