Sciweavers

452 search results - page 40 / 91
» Finding bugs is easy
Sort
View
COOPIS
2004
IEEE
15 years 3 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
15 years 1 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»
14 years 9 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
16 years 18 days 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
16 years 1 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