7335 search results - page 1202 / 1467 » Scene Based Reasoning |
165
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Because of the great variability of factors to take into account, designing a spoken dialogue system is still a tailoring task. Rapid design and reusability of previous work is ma...
147
click to vote
LICS
2006
IEEE
16 years 17 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
158
click to vote
LICS
2006
IEEE
16 years 17 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
160
click to vote
SEFM
2006
IEEE
16 years 17 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
150
click to vote
SEFM
2006
IEEE
16 years 17 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...