Sciweavers

7452 search results - page 316 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
SBIA
2000
Springer
15 years 10 months ago
Linguistic Relations Encoding in a Symbolic-Connectionist Hybrid Natural Language Processor
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...
João Luís Garcia Rosa, Edson Fran&cc...
215
Voted
LICS
2010
IEEE
15 years 5 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
Vincent Danos, Jérôme Feret, Walter F...
SIGLEX
1991
15 years 10 months ago
Aspectual Requirements of Temporal Connectives: Evidence for a Two-Level Approach to Semantics
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
Michael Herweg
ISCA
2006
IEEE
125views Hardware» more  ISCA 2006»
16 years 22 days ago
Architectural Semantics for Practical Transactional Memory
Transactional Memory (TM) simplifies parallel programming by allowing for parallel execution of atomic tasks. Thus far, TM systems have focused on implementing transactional stat...
Austen McDonald, JaeWoong Chung, Brian D. Carlstro...
ICDE
2007
IEEE
110views Database» more  ICDE 2007»
16 years 8 months ago
Semantic Prefetching of Correlated Query Sequences
We present a system that optimizes sequences of related client requests by combining small requests into larger ones, thus reducing per-request overhead. The system predicts upcom...
Ivan T. Bowman, Kenneth Salem