Sciweavers

3238 search results - page 315 / 648
» Not Enough Points Is Enough
Sort
View
RE
2007
Springer
16 years 27 days ago
Requirements in the wild: How small companies do it
Small companies form a large part of the software industry, but have mostly been overlooked by the requirements engineering research community. We know very little about the techn...
Jorge Aranda, Steve M. Easterbrook, Greg Wilson
SCIA
2007
Springer
129views Image Analysis» more  SCIA 2007»
16 years 27 days ago
Efficiently Capturing Object Contours for Non-Photorealistic Rendering
Non-photorealistic rendering (NPR) techniques aim to outline the shape of objects and reduce visual clutter such as shadows and inner texture edges. As the first phase result of ou...
Jiyoung Park, Juneho Yi
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
16 years 27 days ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
TARK
2007
Springer
16 years 27 days ago
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
Thomas Ågotnes, Natasha Alechina
TSD
2007
Springer
16 years 27 days ago
On the Relative Hardness of Clustering Corpora
Abstract. Clustering is often considered the most important unsupervised learning problem and several clustering algorithms have been proposed over the years. Many of these algorit...
David Pinto, Paolo Rosso