503 search results - page 80 / 101 » An Authoring Tool for User Generated Mobile Services |
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
— Location-based services (LBS) have been widely accepted by mobile users. Many LBS users have direction-aware search requirement that answers must be in a search direction. Howe...
AICCSA
2007
IEEE
14 years 18 days ago
2007
IEEE
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
WEBNET
2001
13 years 10 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
TAP
2010
Springer
13 years 6 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
SEC
2003
13 years 10 months ago
2003
: The public telephone network has been evolving from manually switched wires carrying analog encoded voice of the 19th century to an automatically switched grid of copper-wired, f...