3116 search results - page 188 / 624 » Positively dependent types |
137
click to vote
GLVLSI
2003
IEEE
15 years 10 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...
162
click to vote
IDEAS
2003
IEEE
15 years 10 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...
134
click to vote
FM
2003
Springer
15 years 10 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...
133
click to vote
ICDT
2003
ACM
15 years 10 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...
133
click to vote
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...