3342 search results - page 247 / 669 » Automating Abstract Interpretation |
169
click to vote
FSKD
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We introduce a property of set to represent vagueness without using truth value. It has gotten less attention in fuzzy set theory. We introduce it by analyzing a well-kno...
175
click to vote
ICTCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
159
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
132
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
175
click to vote
MLMI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...