11808 search results - page 420 / 2362 » Isometries and Computability Structures |
183
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
To keep an overview of a complex corporate web sites, it is crucial to understand the relationship of contents, structure and the user's behavior. In this paper, we describe ...
165
Voted
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
287
Voted
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
187
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
— Many applications offer a form-based environment for na¨ıve users for accessing databases without being familiar with the database schema or a structured query language. User...
199
click to vote
AMFG
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a novel appearance-based representation, called Structured Ordinal Feature (SOF). SOF is a binary string encoded by combining eight ordinal blocks in a ci...