Sciweavers

6300 search results - page 223 / 1260
» We have it easy, but do we have it right
Sort
View
JSS
2008
68views more  JSS 2008»
15 years 1 months ago
Why and how can human-related measures support software development processes?
In this paper we discuss why and how measures related to human aspects should be incorporated into software development processes. This perspective is based on the vast evidence t...
Orit Hazzan, Irit Hadar
ASIACRYPT
2010
Springer
14 years 11 months ago
Short Pairing-Based Non-interactive Zero-Knowledge Arguments
We construct non-interactive zero-knowledge arguments for circuit satisfiability with perfect completeness, perfect zero-knowledge and computational soundness. The non-interactive ...
Jens Groth
INLG
2010
Springer
14 years 11 months ago
Extracting Parallel Fragments from Comparable Corpora for Data-to-text Generation
Building NLG systems, in particular statistical ones, requires parallel data (paired inputs and outputs) which do not generally occur naturally. In this paper, we investigate the ...
Anja Belz, Eric Kow
JSYML
2010
74views more  JSYML 2010»
14 years 8 months ago
Quantifier elimination in valued Ore modules
We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the resi...
Luc Bélair, Françoise Point
ATAL
2004
Springer
15 years 7 months ago
Diagnosing a Team of Agents: Scaling-Up
Abstract. Agents in a team must be in agreement. Once a disagreement occurs we should detect the disagreement and diagnose it. Unfortunately, current diagnosis techniques do not sc...
Meir Kalech, Gal A. Kaminka