3022 search results - page 439 / 605 » Make Way for WayMaker |
213
Voted
GRC
2007
IEEE
15 years 7 months ago
2007
IEEE
Collaborative filtering (CF) systems are being widely used in E-commerce applications to provide recommendations to users regarding products that might be of interest to them. Th...
210
click to vote
COMCOM
2008
15 years 7 months ago
2008
Location-based services (LBS) will be a keystone of the new information society that is founded on the information and communications technologies (ICTs). Mobile devices such as c...
222
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
170
click to vote
CANDC
2007
ACM
15 years 7 months ago
2007
ACM
Motivated by the recent work on Escherichia coli bacteria clustering [Park, S., Wolanin, P.M., Yuzbashyan, E.A., Lin, H., Darnton, N.C., Stock, J.B., Silberzan, P., Austin, R., 20...
174
click to vote
ENTCS
2007
15 years 7 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...