Sciweavers

452 search results - page 40 / 91
» Finding bugs is easy
Sort
View
COOPIS
2004
IEEE
13 years 11 months ago
Intellectual Property Rights Management Using a Semantic Web Information System
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
Roberto García, Rosa Gil, Jaime Delgado
INTERACT
2003
13 years 9 months ago
Field Studies in Practice: Making it Happen
Abstract: Field studies and user requirements analysis are highly valued practices in the human-computer interaction community. However, in companies, field study methods are not w...
Sari Kujala, Marjo Kauppinen, Pia Nakari, Sanna Re...
EDM
2009
116views Data Mining» more  EDM 2009»
13 years 5 months ago
Dimensions of Difficulty in Translating Natural Language into First-Order Logic
In this paper, we present a study of a large corpus of student logic exercises in which we explore the relationship between two distinct measures of difficulty: the proportion of s...
Dave Barker-Plummer, Richard Cox, Robert Dale
SIGSOFT
2006
ACM
14 years 8 months ago
SYNERGY: a new algorithm for property checking
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini K...
ECCV
2004
Springer
14 years 10 months ago
A Correlation-Based Approach to Robust Point Set Registration
Correlation is a very effective way to align intensity images. We extend the correlation technique to point set registration using a method we call kernel correlation. Kernel corre...
Yanghai Tsin, Takeo Kanade