Sciweavers

13822 search results - page 2496 / 2765
» Models in Knowledge Management
Sort
View
TLDI
2003
ACM
15 years 9 months ago
The logical approach to stack typing
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
Amal J. Ahmed, David Walker
WWW
2003
ACM
15 years 9 months ago
User Access Pattern Enhanced Small Web Search
Current search engines generally employ link analysis techniques to web-page re-ranking. However, the same techniques are problematic in small webs, such as websites or intranet w...
Gui-Rong Xue, Hua-Jun Zeng, Zheng Chen, Wei-Ying M...
BIRTHDAY
2003
Springer
15 years 9 months ago
Comet in Context
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
Laurent Michel, Pascal Van Hentenryck
149
Voted
BTW
2003
Springer
94views Database» more  BTW 2003»
15 years 9 months ago
The Paradigm of Relational Indexing: a Survey
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
Hans-Peter Kriegel, Martin Pfeifle, Marco Pöt...
BTW
2003
Springer
109views Database» more  BTW 2003»
15 years 9 months ago
Transbase: a Leading-edge ROLAP Engine Supporting Multidimensional Indexing and Hierarchy Clustering
: Analysis-oriented database applications, such as data warehousing or customer relationship management, play a crucial role in the database area. In general, the multidimensional ...
Roland Pieringer, Klaus Elhardt, Frank Ramsak, Vol...
« Prev « First page 2496 / 2765 Last » Next »