2409 search results - page 102 / 482 » Logical systems for structured specifications |
162
click to vote
WDAS
2000
15 years 7 months ago
2000
This paper reviews literature on scalable data structures for searching in a distributed computing environment. Starting with a system where one server manages a file of a given s...
166
click to vote
LPAR
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
163
click to vote
FROCOS
2007
Springer
16 years 8 days ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
165
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: Structural similarities among proteins can provide valuable insight into their functional mechanisms and relationships. As the number of available three-dimensional (3...
160
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe a method to enable the selection of specific text regions with a hand-held camera by means of projecting a structured light pointer on the document. The user indicates...