Sciweavers

445 search results - page 50 / 89
» Exploring the Relationship between Semantic Spaces and Seman...
Sort
View
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 9 months ago
A New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
Zoran Majkic
RTAS
2007
IEEE
16 years 11 days ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
APWEB
2006
Springer
15 years 9 months ago
LocalRank: A Prototype for Ranking Web Pages with Database Considering Geographical Locality
In this demo, we present a method called LocalRank to rank web pages. Our method integrates the web and a local user database with semantic links including geographical ones. We fi...
Jianwei Zhang 0002, Yoshiharu Ishikawa, Sayumi Kur...
POPL
2010
ACM
16 years 3 months ago
Threesomes, With and Without Blame
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
Jeremy G. Siek, Philip Wadler
BDA
2007
15 years 7 months ago
Hyperplane Queries in a Feature-Space M-tree for Speeding up Active Learning
In content-based retrieval, relevance feedback (RF) is a noticeable method for reducing the “semantic gap” between the low-level features describing the content and the usually...
Michel Crucianu, Daniel Estevez, Vincent Oria, Jea...