8021 search results - page 1407 / 1605 » Budget Management with Applications |
189
click to vote
SOFSEM
2012
Springer
14 years 2 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
236
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
The popularity of mobile social networking services (mSNSs) is propelling more and more businesses, especially those in retailing and marketing, into mobile and location-based for...
203
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
This demo presents Sindbad; a location-based social networking system. Sindbad supports three new services beyond traditional social networking services, namely, location-aware ne...
201
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Historical prices are important information that can help consumers decide whether the time is right to buy a product. They provide both a context to the users, and facilitate the...
215
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Advanced technology in GPS and sensors enables us to track physical events, such as human movements and facility usage. Periodicity analysis from the recorded data is an important...