2542 search results - page 252 / 509 » integration 2010 |
198
click to vote
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Controlled vocabularies of various kinds (e.g., thesauri, classification schemes) play an integral part in making Cultural Heritage collections accessible. The various in...
184
click to vote
FECS
2010
15 years 4 months ago
2010
- With computational tools becoming more integrated into the education experience, the accessibility of college website homepages is becoming increasingly important for several rea...
170
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
156
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
189
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...