Sciweavers

1293 search results - page 68 / 259
» The infrastructure problem in HCI
Sort
View
EOR
2008
100views more  EOR 2008»
13 years 7 months ago
Urban rapid transit network capacity expansion
The rapid transit network design problem consists on the location of the train alignments and stations in an urban traffic context. The location problem incorporates the demand dec...
Ángel Marín, Patricia Jaramillo
ICDE
2006
IEEE
147views Database» more  ICDE 2006»
14 years 3 months ago
Distributing Google
We consider the problem of wide-area large-scale text search over a peer-to-peer infrastructure. A wide-area search infrastructure with billions of documents and millions of searc...
Vijay Gopalakrishnan, Bobby Bhattacharjee, Peter J...
CADE
2008
Springer
14 years 9 months ago
THF0 - The Core of the TPTP Language for Higher-Order Logic
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
Christoph Benzmüller, Florian Rabe, Geoff Sut...
ECBS
2000
IEEE
125views Hardware» more  ECBS 2000»
14 years 1 months ago
Design Tool Integration: An Exercise in Semantic Interoperability
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
Gabor Karsai
INTERNET
2007
103views more  INTERNET 2007»
13 years 9 months ago
Publish-Subscribe Information Delivery with Substring Predicates
The content-based publish/subscribe (pub/sub)paradigm for system design is becoming increasingly popular, offering unique benefits for a large number of data-intensive applicatio...
Ioannis Aekaterinidis, Peter Triantafillou