9231 search results - page 376 / 1847 » informs 2008 |
138
click to vote
JDCTA
2008
15 years 6 months ago
2008
Tourism industry is one of the important sources of income in many countries. The appropriate and quick submission of primary information such as address of hotels to the tourists...
230
click to vote
SIGKDD
2008
15 years 6 months ago
2008
This paper presents a review of the book "Web Data Mining - Exploring Hyperlinks, Contents, and Usage Data" by Bing Liu. The review concludes that the breadth and depth ...
158
click to vote
TCS
2002
15 years 6 months ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
159
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Business users in an enterprise need to keep track of relevant information available on the Web for strategic decisions like mergers and acquisitions. Traditionally this is done by...
185
click to vote
ENTCS
2008
15 years 6 months ago
2008
c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze...