Sciweavers

4767 search results - page 378 / 954
» Moving between Contexts
Sort
View
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 7 months ago
Does intelligence imply contradiction?
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
Patrizio Frosini
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 7 months ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen
ESE
2008
107views Database» more  ESE 2008»
15 years 7 months ago
Realizing quality improvement through test driven development: results and experiences of four industrial teams
Test-driven development (TDD) is a software development practice that has been used sporadically for decades. With this practice, a software engineer cycles minute-by-minute betwee...
Nachiappan Nagappan, E. Michael Maximilien, Thirum...
182
Voted
ECCC
2006
88views more  ECCC 2006»
15 years 7 months ago
On Probabilistic versus Deterministic Provers in the Definition of Proofs Of Knowledge
Abstract. This article points out a gap between two natural formulations of the concept of a proof of knowledge, and shows that in all natural cases (e.g., NP-statements) this gap ...
Mihir Bellare, Oded Goldreich
CSL
2004
Springer
15 years 7 months ago
Lexical knowledge and human disagreement on a WSD task
This paper explores factors correlating with lack of inter-annotator agreement on a word sense disambiguation (WSD) task taken from SENSEVAL-2. Twenty-seven subjects were given a ...
G. Craig Murray, Rebecca Green