Sciweavers

3571 search results - page 417 / 715
» Cohen and Set Theory
Sort
View
SIGIR
2008
ACM
15 years 6 months ago
Measuring concept relatedness using language models
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
Dolf Trieschnigg, Edgar Meij, Maarten de Rijke, We...
AI
2005
Springer
15 years 6 months ago
First order LUB approximations: characterization and algorithms
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
Alvaro del Val
AML
2005
65views more  AML 2005»
15 years 6 months ago
Middle diamond
Under certain cardinal arithmetic assumptions, we prove that for every large enough regular cardinal, for many regular < , many stationary subsets of concentrating on cofinali...
Saharon Shelah
CG
2005
Springer
15 years 6 months ago
Two-dimensional invariant manifolds in four-dimensional dynamical systems
This paper explores the visualization of two-dimensional stable and unstable manifolds of the origin (a saddle point) in a four-dimensional Hamiltonian system arising from control...
Hinke M. Osinga
TSP
2008
123views more  TSP 2008»
15 years 6 months ago
A Rough Programming Approach to Power-Balanced Instruction Scheduling for VLIW Digital Signal Processors
The focus of this paper is on VLIW instruction scheduling that minimizes the variation of power consumed by the processor during the execution of a target program. We use rough set...
Shu Xiao, Edmund Ming-Kit Lai