Sciweavers

460 search results - page 66 / 92
» A Principled Semantics for inp
Sort
View
ACL
2003
13 years 11 months ago
The FrameNet Data and Software
The FrameNet project has developed a lexical knowledge base providing a unique level of detail as to the the possible syntactic realizations of the specific semantic roles evoked...
Collin F. Baker, Hiroaki Sato
ECAI
2010
Springer
13 years 10 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
CORR
2010
Springer
63views Education» more  CORR 2010»
13 years 9 months ago
Simplified Distributed Programming with Micro Objects
Developing large-scale distributed applications can be a daunting task. One of the problems that application developers are confronted with is the distribution of data, processes, ...
Jan-Mark S. Wams, Maarten van Steen
VL
2010
IEEE
195views Visual Languages» more  VL 2010»
13 years 8 months ago
Causal Reasoning with Neuron Diagrams
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
Martin Erwig, Eric Walkingshaw
WWW
2010
ACM
13 years 8 months ago
A framework for trust establishment and assessment on the web of data
With the enormous and still growing amount of data and user interaction on the Web, it becomes more and more necessary for data consumers to be able to assess the trustworthiness ...
Qi Gao, Geert-Jan Houben