2138 search results - page 256 / 428 » Logical Step-Indexed Logical Relations |
170
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
240
click to vote
SAMT
2007
Springer
16 years 19 days ago
2007
Springer
Video summarization approaches have various fields of application, specifically related to organizing, browsing and accessing large video databases. In this paper we propose and ev...
170
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
XML data can be stored in different databases including ObjectRelational Database (ORDB). Using ORDB, we get the benefit of the relational maturity and the richness of OO modeling...
150
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Structure analysis of table form document is important because printed documents and also electronical documents only provide geometrical layout and lexical information explicitly...
163
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
At very high frequencies, the major potential of asynchronous circuits is absence of clock skew and, through that, better exploitation of relative timing relations. This paper pre...