619 search results - page 16 / 124 » Generic Extensions and Generic Polynomials |
136
Voted
CADUI
2006
15 years 4 months ago
2006
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...
135
Voted
FLAIRS
2006
15 years 4 months ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
135
Voted
JFP
2006
15 years 2 months ago
2006
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
122
Voted
PVLDB
2010
15 years 1 months ago
2010
Data uncertainty is ubiquitous in many real-world applications such as sensor/RFID data analysis. In this paper, we investigate uncertain data that exhibit local correlations, tha...
122
Voted
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...