Sciweavers

6355 search results - page 916 / 1271
» From Logic to Games
Sort
View
XSYM
2004
Springer
109views Database» more  XSYM 2004»
16 years 5 days ago
Implementing Memoization in a Streaming XQuery Processor
In this paper, we describe an approach to boosting the performance of an XQuery engine by identifying and exploiting opportunities to share processing both within and across XML qu...
Yanlei Diao, Daniela Florescu, Donald Kossmann, Mi...
ICDAR
2003
IEEE
16 years 3 days ago
Detection, Extraction and Representation of Tables
We are concerned with the extraction of tables from exchange format representations of very diverse composite documents. We put forward a flexible representation scheme for comple...
Jean-Yves Ramel, Michel Crucianu, Nicole Vincent, ...
ISCAS
2003
IEEE
175views Hardware» more  ISCAS 2003»
16 years 3 days ago
Analysis of timing jitter in ring oscillators due to power supply noise
∑= += N i firiT 1 0 )( ττ (1) This paper presents a time-domain method for estimating the jitter in ring oscillators that is due to power supply noise. The method is used to a...
Tony Pialis, Khoman Phang
SAINT
2003
IEEE
16 years 3 days ago
Context Attributes: An Approach to Enable Context-awareness for Service Discovery
Service discovery problem has recently been drawing much attention from researchers and practitioners. Jini, SLP, and UPnP are among the few emerging service discovery protocols. ...
Choonhwa Lee, Abdelsalam Helal
TPHOL
2003
IEEE
16 years 3 days ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd