742 search results - page 110 / 149 » Constructing Hierarchical Rule Systems |
DIAGRAMS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
SBBD
2004
13 years 9 months ago
2004
Traditional requirements for persistence layers do not consider limitations of the development platforms available for mobile devices. In order to facilitate the development of ap...
DLOG
1998
13 years 9 months ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
JASSS
1998
13 years 7 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
TASE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...