7956 search results - page 323 / 1592 » Into the Future |
154
click to vote
KES
2005
Springer
16 years 9 days ago
2005
Springer
Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...
159
click to vote
LOCA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper we identify the common techniques and technologies that are enabling location identification in a ubiquitous computing environment. We also address the imp...
165
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
140
click to vote
MKM
2005
Springer
16 years 9 days ago
2005
Springer
ion with nouns and adjectives Syntax and type system Future works and conclusion Toward an Object-Oriented Structure for Mathematical Text Fairouz Kamareddine, Manuel Maarek and Jo...
183
click to vote
W2GIS
2005
Springer
16 years 8 days ago
2005
Springer
Location-based services (LBS) constitute an emerging application domain involving spatio-temporal databases. In this paper, i) we propose a classification of LBS, depending on whet...