3624 search results - page 566 / 725 » Abstract Algebraic Logic |
167
click to vote
SEMWEB
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
188
Voted
WILF
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...
187
Voted
CSCLP
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
191
Voted
ASPDAC
2004
ACM
16 years 12 days ago
2004
ACM
Abstract— In this paper, we propose exact and heuristic algorithms for minimizing the memory size for heterogeneous Multivalued Decision Diagrams (MDDs). In a heterogeneous MDD, ...
196
click to vote
PASTE
2004
ACM
16 years 12 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...