1124 search results - page 34 / 225 » Future Challenges |
206
Voted
CSCLP
2008
Springer
15 years 5 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
124
click to vote
FIS
2008
15 years 5 months ago
2008
Abstract. Despite its technological success story, the Internet is facing a rampant growth of isolated ontologies and a massive dump of unstructured legacy data. Therefore, archite...
141
click to vote
VR
2008
IEEE
15 years 3 months ago
2008
IEEE
: The aim of all education is to apply what we learn in different contexts and to recognise and extend this learning to new situations. Virtual learning environments can used to bu...
157
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
— This paper describes the winning entry to the IJCNN 2011 Social Network Challenge run by Kaggle.com. The goal of the contest was to promote research on realworld link predictio...
167
click to vote
COMSUR
2011
14 years 3 months ago
2011
—Wireless sensor networks (WSNs) have been applied to many applications since emerging. Among them, one of the most important applications is Sensor Data Collections, where sense...