2903 search results - page 253 / 581 » On the univalence of an integral operator |
190
click to vote
JELIA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
165
click to vote
VLDB
2004
ACM
16 years 12 hour ago
2004
ACM
PIVOT and UNPIVOT, two operators on tabular data that exchange rows and columns, enable data transformations useful in data modeling, data analysis, and data presentation. They ca...
178
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...
195
Voted
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
A new ADC architecture is devised. This architecture is memory based, in which the last sample is used to predict the current one, resulting in both power dissipation and energy r...
145
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Industrial Sawyer motor technology has existed for nearly three decades, traditionally being operated as open-loop positioners. Such systems can attain micron level motion resolut...