13306 search results - page 332 / 2662 » Theoretical Computer Science |
127
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: We briefly review service classification schemes, originating especially from marketing research work, and analyze to what extent they are useful for ontology-based service confi...
160
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: In order to improve the automation rate of state-of-the-art IVR systems we introduce the application of two key technologies. Semantic processing is performed to analyze the inpu...
160
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: In order to reduce transmission cost mobile information system clients often cache data retrieved in a context aware manner. In the case of updates it may happen that this data b...
123
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: We present an application of a multi hypothesis tracking (MHT) algorithm to the case of ground moving targets detected by GMTI (Ground Moving Target Indicator) radar sensors. The...
150
click to vote
STACS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style certain fundamental branching properties are decidable. ...