6608 search results - page 1227 / 1322 » On the Completeness of Model Checking |
143
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Content annotations in semantic cultural heritage portals commonly make spatiotemporal references to historical regions and places using names whose meanings are different in diffe...
229
click to vote
ETVC
2008
15 years 5 months ago
2008
s of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing Frank Nielsen Ecole Polytechnique, Palaiseau, France Sony CSL, Tokyo, Japan Abstract. We list the abstracts o...
127
click to vote
DIMVA
2010
15 years 5 months ago
2010
Abstract. Skype is one of the most used P2P applications on the Internet: VoIP calls, instant messaging, SMS and other features are provided at a low cost to millions of users. Alt...
174
click to vote
JAC
2008
15 years 5 months ago
2008
Cellular automata are a simple model of parallel computation. Many people wonder about the computing power of such a model. Following an idea of S. Wolfram [16], M. Cook [3] has pr...
122
click to vote
SOCRATES
2008
15 years 5 months ago
2008
The purpose of this paper is to build a picture of knowledge construction models in online education. The study describes the knowledge construction process of a group of vocation...