8810 search results - page 420 / 1762 » Open. Closed. Open |
179
click to vote
TABLEAUX
1999
Springer
15 years 11 months ago
1999
Springer
We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with product belongs to PTIME. This solves an open prolem...
161
Voted
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The fashion, textile, and clothing industry is a main constituent in Hong Kong. In this industry, handling a large amount of images is an important task in various phases...
188
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Most empirical studies of peer production have focused on the final products of these efforts (such as software in Free/Open Source projects), but there are also many other knowle...
176
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
172
click to vote
LATIN
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we consider the open problem of the complexity of the LLL algorithm in the case when the approximation parameter of the algorithm has its extreme value