Sciweavers

2944 search results - page 402 / 589
» Robust Semantic Construction
Sort
View
TCS
2010
15 years 1 months ago
Combinatorics of labelling in higher-dimensional automata
The main idea for interpreting concurrent processes as labelled precubical sets is that a given set of n actions running concurrently must be assembled to a labelled ncube, in exac...
Philippe Gaucher
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
16 years 3 days ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
DAIS
2006
15 years 8 months ago
PAGE: A Distributed Infrastructure for Fostering RDF-Based Interoperability
This paper shows how to build a scalable, robust and efficient distributed Internet-scale RDF repository, that we name PAGE (Put And Get Everywhere). 1 Motivation In the recent yea...
Emanuele Della Valle, Andrea Turati, Alessandro Gh...
JAIR
2010
145views more  JAIR 2010»
15 years 5 months ago
On Action Theory Change
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
Ivan José Varzinczak
JOCN
2010
62views more  JOCN 2010»
15 years 5 months ago
Electrophysiological Correlates of Complement Coercion
■ This study examined the electrophysiological correlates of complement coercion. ERPs were measured as participants read and made acceptability judgments about plausible coerce...
Gina R. Kuperberg, Arim Choi, Neil Cohn, Martin Pa...