1536 search results - page 188 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
76
Voted
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper aims to present ideas to bridge the gap between two conflicting views of information: Shannon information, which is used to model physical layer information, and se...
84
Voted
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we derive an analytical model for the evaluation of the performance of a Video on Demand (VoD) system. The model estimates the mean waiting time achievable by the P...
79
Voted
FUIN
2006
14 years 10 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
103
click to vote
ACL
1992
14 years 11 months ago
1992
The three-tiered discourse representation defined in (Luperfoy, 1991) is applied to multimodal humancomputer interface (HCI) dialogues. In the applied system the three tiers are (...
98
Voted
EDBT
2012
ACM
13 years 19 days ago
2012
ACM
Most recommendation methods (e.g., collaborative filtering) consist of (1) a computationally intense offline phase that computes a recommender model based on users’ opinions o...