Sciweavers

825 search results - page 6 / 165
» Internal Iteration Externalized
Sort
View
SLOGICA
2010
97views more  SLOGICA 2010»
14 years 10 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
107
Voted
CSEE
2006
Springer
15 years 1 months ago
On the Influence of Test-Driven Development on Software Design
Test-driven development (TDD) is an agile software development strategy that addresses both design and testing. This paper describes a controlled experiment that examines the effe...
David Janzen, Hossein Saiedian
76
Voted
ICALP
1999
Springer
15 years 4 months ago
Online Data Structures in External Memory
The data sets for many of today's computer applications are too large to t within the computer's internal memory and must instead be stored on external storage devices su...
Jeffrey Scott Vitter
IBPRIA
2005
Springer
15 years 5 months ago
The Contribution of External Features to Face Recognition
In this paper we propose a face recognition algorithm that combines internal and external information of face images. Most of the previous works dealing with face recognition use o...
Àgata Lapedriza, David Masip, Jordi Vitri&a...
101
Voted
IM
2008
14 years 11 months ago
Finding Strongly Knit Clusters in Social Networks
Social networks are ubiquitous. The discovery of close-knit clusters in these networks is of fundamental and practical interest. Existing clustering criteria are limited in that c...
Nina Mishra, Robert Schreiber, Isabelle Stanton, R...