1809 search results - page 166 / 362 » A Formal Specification of dMARS |
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
Super-resolution methods aimed to restore the spectrum of an original image above the half sampling frequency. The restoration problem is generally viewed as an inverse problem an...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...