Sciweavers

921 search results - page 124 / 185
» Community Based Software Development - the Case of Movelex
Sort
View
CADE
2002
Springer
14 years 8 months ago
The Quest for Efficient Boolean Satisfiability Solvers
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
Lintao Zhang, Sharad Malik
NCA
2008
IEEE
14 years 2 months ago
Identifying Failures in Grids through Monitoring and Ranking
In this paper we present FailRank, a novel framework for integrating and ranking information sources that characterize failures in a grid system. After the failing sites have been...
Demetrios Zeinalipour-Yazti, Kyriakos Neocleous, C...
CIVR
2004
Springer
200views Image Analysis» more  CIVR 2004»
14 years 1 months ago
HMM Model Selection Issues for Soccer Video
There has been a concerted effort from the Video Retrieval community to develop tools that automate the annotation process of Sports video. In this paper, we provide an in-depth i...
Mark Baillie, Joemon M. Jose, Cornelis Joost van R...
DATE
2003
IEEE
114views Hardware» more  DATE 2003»
14 years 1 months ago
Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer  ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
Menno Lindwer, Diana Marculescu, Twan Basten, Rain...
DANCE
2002
IEEE
14 years 1 months ago
Towards an Active Network Architecture
Active networks allow their users to inject customized programs into the nodes of the network. An extreme case, in which we are most interested, replaces packets with “capsulesâ...
David L. Tennenhouse, David Wetherall