4690 search results - page 187 / 938 » An operational semantics for Scheme |
188
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...
149
click to vote
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
The use of tags to describe Web resources in a collaborative manner has experienced rising popularity among Web users in recent years. The product of such activity is given the nam...
145
click to vote
TSD
2005
Springer
16 years 1 days ago
2005
Springer
Since sentences are the basic propositional units of text, knowing their themes should help various tasks requiring the knowledge about the semantic content of text. In this paper,...
172
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
228
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...