2448 search results - page 278 / 490 » The Octahedron Abstract Domain |
138
click to vote
DLOG
2007
15 years 7 months ago
2007
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
160
click to vote
ICIA
2007
15 years 7 months ago
2007
The Smart Personal Assistant (SPA) enables users to access e-mail and calendar information using natural language dialogue through a PDA platform. The user interface to the SPA mu...
163
click to vote
AISB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
118
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
156
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...