3119 search results - page 85 / 624 » General Default Logic |
TLDI
2010
ACM
14 years 7 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
EDOC
2007
IEEE
14 years 4 months ago
2007
IEEE
A business process usually includes multiple business partners that use systems with their business logics represented in different rule (or policy) languages. The integration of ...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
IFSA
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that are nonlinear convolutions...