3073 search results - page 413 / 615 » Real World Verification |
183
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Exploiting lexical and semantic relationships in large unstructured text collections can significantly enhance managing, integrating, and querying information locked in unstructur...
168
click to vote
COCOON
2005
Springer
15 years 12 months ago
2005
Springer
It has recently been observed that the node degrees of many real-world large-scale networks, such as the Internet and the Web, follow a power law distributions. Since the classical...
167
click to vote
DIGRA
2005
Springer
15 years 12 months ago
2005
Springer
In a reinforcing cycle, few females create games and fewer girls than boys play games. In this paper, we increase our understanding of what girls like about games and gaming by de...
183
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
137
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...