2409 search results - page 102 / 482 » Logical systems for structured specifications |
170
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...
170
click to vote
LPAR
2007
Springer
16 years 15 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...
172
click to vote
FROCOS
2007
Springer
16 years 16 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...
173
click to vote
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...
170
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...