7988 search results - page 270 / 1598 » A Useful Undecidable Theory |
143
Voted
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
165
Voted
AMC
2006
15 years 5 months ago
2006
-- Tien D. Kieu, in 10 papers posted to the quant-ph section of the xxx.lanl.gov preprint archive [some of which were also published in printed journals such as Proc. Royal Soc. A ...
148
click to vote
SIAMCOMP
2010
15 years 3 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
162
click to vote
IS
2012
14 years 18 days ago
2012
When transforming data one often wants certain information in the data source to be preserved, i.e., we identify parts of the source data and require these parts to be transformed...
178
click to vote
POPL
2012
ACM
14 years 18 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...