1999 search results - page 163 / 400 » Dependently Typed Grammars |
146
click to vote
ELPUB
2006
ACM
16 years 11 days ago
2006
ACM
Open access publishing strategies have traditionally been directed towards what has been regarded as a homogenous scientific community of universities, researchers and libraries. ...
168
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we discuss a methodology to design and synthesize analog CMOS components such as RF amplifiers. The inputs of the synthesis tool are the circuit specifications desc...
189
click to vote
IDEAS
2003
IEEE
15 years 11 months ago
2003
IEEE
We characterize the dynamic data management problem for location based services(LBS) in mobile environments and devise a cost model for servicing both location independent and loc...
159
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
164
click to vote
ICDT
2003
ACM
15 years 11 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...