13306 search results - page 443 / 2662 » Theoretical Computer Science |
194
click to vote
DLT
2009
15 years 5 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
227
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
: As the mobile phone's camera is becoming the most widely available consumer tool for media creation it also opens new possibilities for casual and social form of mobile gami...
195
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...
217
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
: The ubiquity and personalization of mobile phones makes them a promising platform for advertising. Currently, practices known from online advertisement can be adapted, e.g. conte...
186
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...