Sciweavers

3601 search results - page 348 / 721
» The Future of Virtualization Technology
Sort
View
FMAM
2010
174views Formal Methods» more  FMAM 2010»
15 years 4 months ago
Are Formal Methods Ready for Agility? A Reality Check
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
142
Voted
GIL
2010
15 years 4 months ago
Precision Farming also for Small Scale Farmers
: The current and future food insecurity situation of many nations has been effected by factors like global warming, population growth, bio-energy, low technology acceptance, unfav...
Walter H. Mayer
169
Voted
CLEF
2009
Springer
15 years 4 months ago
Identification of Narrative Peaks in Video Clips: Text Features Perform Best
A methodology is proposed to identify narrative peaks in video clips. Three basic clip properties are evaluated which reflect on video, audio and text related features in the clip....
Joep J. M. Kierkels, Mohammad Soleymani, Thierry P...
172
Voted
ICWSM
2009
15 years 4 months ago
A Social Identity Approach to Identify Familiar Strangers in a Social Network
We present a novel problem of searching for `familiar strangers' in a social network. Familiar strangers are individuals who are not directly connected but exhibit some simil...
Nitin Agarwal, Huan Liu, Sudheendra Murthy, Arunab...
EPEW
2010
Springer
15 years 4 months ago
Performance Modeling and Analysis of the Universal Control Hub
Abstract. People with special needs may find difficulties using electronic consumer devices, user interfaces limit their chances of having full control on them. The Universal Remot...
Elena Gómez-Martínez, José Me...