1814 search results - page 136 / 363 » Extended First-Order Logic |
106
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— This paper introduces the concept of kl-feasible cuts, by controlling both the number k of inputs and the number l of outputs in a circuit cut. To provide scalability, the conc...
129
Voted
PADL
2000
Springer
15 years 7 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
122
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
109
Voted
PERCOM
2004
ACM
16 years 3 months ago
2004
ACM
In this paper we show a novel middleware approach for pervasise applications that communicate via an XMLbased distributed virtual shared information space. This approach extends s...
105
Voted
CIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...