2316 search results - page 280 / 464 » The many forms of hypercomputation |
154
click to vote
CATS
2008
15 years 7 months ago
2008
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
135
click to vote
ICWS
2010
IEEE
15 years 7 months ago
2010
IEEE
The service-oriented architecture (SOA) has been successfully applied in enterprise environments. Due to decentralized set-ups, mergers and acquisitions and organizational boundar...
160
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
101
click to vote
LREC
2010
15 years 7 months ago
2010
We present a three-part bilingual specialized dictionary Mexican Sign Language-Spanish / Spanish-Mexican Sign Language. This dictionary will be the outcome of a three-years agreem...
135
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
Information retrieval systems (IRSs) usually suffer from a low ability to recognize a same idea that is expressed in different forms. A way of improving these systems is to take ...