2496 search results - page 115 / 500 » Error-detecting properties of languages |
119
click to vote
SIGMOD
2003
ACM
16 years 26 days ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
122
Voted
FUIN
2008
15 years 24 days ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
97
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
105
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This report presents a basic scheme for deriving systematically a filtering algorithm from the graph properties based representation of global constraints. This scheme i...
83
Voted
FDL
2003
IEEE
15 years 6 months ago
2003
IEEE
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using a...