7167 search results - page 1235 / 1434 » Answer Set Programming |
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
EUROITV
2008
Springer
13 years 11 months ago
2008
Springer
Watching television is usually a shared experience allowing family or friends that share the same viewing interests to watch, comment and enjoy programs together. The interaction p...
FASE
2008
Springer
13 years 11 months ago
2008
Springer
In many distributed computing paradigms, especially sensor networks and ubiquitous computing but also grid computing and web services, programmers commonly tie their application to...
FMICS
2008
Springer
13 years 11 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
FPL
2008
Springer
13 years 11 months ago
2008
Springer
An approach is presented for high throughput matching of regular expressions (regexes) by first converting them into corresponding Non-deterministic Finite Automata (NFAs) which a...