Sciweavers

100 search results - page 4 / 20
» A Pragmatic Implementation of e-Transactions
Sort
View
ERSHOV
2009
Springer
14 years 3 months ago
Towards a Scalable, Pragmatic Knowledge Representation Language for the Web
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
Florian Fischer, Gulay Ünel, Barry Bishop, Di...
OSDI
2002
ACM
14 years 8 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
COSIT
1997
Springer
80views GIS» more  COSIT 1997»
14 years 22 days ago
Spatial Representation for Pragmatic Navigation
As described here, pragmatic navigation attempts to harness simple facts about a two-dimensional environment to facilitate travel through it without an explicit map. It relies upo...
Susan L. Epstein
ACL
2004
13 years 10 months ago
Combining Acoustic and Pragmatic Features to Predict Recognition Performance in Spoken Dialogue Systems
We use machine learners trained on a combination of acoustic confidence and pragmatic plausibility features computed from dialogue context to predict the accuracy of incoming n-be...
Malte Gabsdil, Oliver Lemon
WDAG
2005
Springer
80views Algorithms» more  WDAG 2005»
14 years 2 months ago
Obstruction-Free Algorithms Can Be Practically Wait-Free
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...
Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir...