8959 search results - page 357 / 1792 » Composing aspects with aspects |
179
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval. MSCS: 68P20, 68T30 Key w...
146
Voted
CN
2000
15 years 6 months ago
2000
The General Packet Radio Service (GPRS), a data extension of the mobile telephony standard GSM, is emerging as the first true packet-switched architecture to allow mobile subscrib...
139
click to vote
JGS
2000
15 years 6 months ago
2000
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
160
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
We consider the practical problem of constructing binary space partitions (BSPs) for a set S of n orthogonal, nonintersecting, two-dimensional rectangles in R3 such that the aspect...
209
click to vote
INFSOF
2002
15 years 6 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...