2409 search results - page 91 / 482 » Logical systems for structured specifications |
156
click to vote
DOCENG
2006
ACM
16 years 20 hour ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....
154
click to vote
IANDC
2010
15 years 3 months ago
2010
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
158
click to vote
JAPLL
2007
15 years 6 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
151
click to vote
HICSS
2009
IEEE
16 years 26 days ago
2009
IEEE
The purpose of this study is to explore the role of knowledge management systems (KMS) in structuring knowledgeable practices within organizations. Specifically, we consider how i...
168
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...