4397 search results - page 501 / 880 » Relational Algebra Operations |
116
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Traditionally, collaborative filtering (CF) algorithms used for recommendation operate on complete knowledge. This makes these algorithms hard to employ in a decentralized contex...
149
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
133
click to vote
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
143
click to vote
ISAAC
2009
Springer
15 years 11 months ago
2009
Springer
We study the following question, communicated to us by Mikl´os Ajtai: Can all explicit (e.g., polynomial time computable) functions f : ({0, 1}w )3 → {0, 1}w be computed by word...
198
click to vote
DEPCOS
2008
IEEE
15 years 11 months ago
2008
IEEE
In railway train-borne equipment, the Driver Machine Interface (DMI) acts like a bridge between the train driver and the onboard automatic train control system (European Vital Com...