Sciweavers

FM
2003
Springer
102views Formal Methods» more  FM 2003»
14 years 5 months ago
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Alan Wassyng, Mark Lawford
EUROGP
2003
Springer
14 years 5 months ago
The Root Causes of Code Growth in Genetic Programming
This paper discusses the underlying pressures responsible for code growth in genetic programming, and shows how an understanding of these pressures can be used to use to eliminate...
Matthew J. Streeter
ICAIL
2003
ACM
14 years 5 months ago
Towards a Computational Account of Persuasion in Law
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
Katie Greenwood, Trevor J. M. Bench-Capon, Peter M...
ICNP
2003
IEEE
14 years 5 months ago
A File-Centric Model for Peer-to-Peer File Sharing Systems
Peer-to-peer systems have quickly become a popular way for file sharing and distribution. In this paper, we focus on the subsystem consisting of peers and their actions relative ...
Li Zou, Mostafa H. Ammar
3DIM
2003
IEEE
14 years 5 months ago
Scanning and Processing 3D Objects for Web Display
We present a case study of scanning 3D objects for the purposes of education and public information. We begin by describing the original design of a 3D scanning system now in use ...
Mohamed Farouk, Ibrahim El-Rifai, Shady El-Tayar, ...
CSCW
2004
ACM
14 years 5 months ago
Influencing group participation with a shared display
During face-to-face interactions, groups frequently overly rely on the dominant viewpoint to lead the group in its decision-making process. We begin with a discussion of this phen...
Joan Morris DiMicco, Anna Pandolfo, Walter Bender
ASPDAC
2006
ACM
117views Hardware» more  ASPDAC 2006»
14 years 6 months ago
SAT-based optimal hypergraph partitioning with replication
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
Michael G. Wrighton, André DeHon
ACMDIS
2006
ACM
14 years 6 months ago
A persistent chat space for work groups: the design, evaluation and deployment of loops
Loops is a text-based computer mediated communication system aimed at small- to medium-sized corporate work groups. We begin by discussing the goals of the system and the rational...
Thomas Erickson, Wendy A. Kellogg, Mark Laff, Jere...
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
14 years 6 months ago
Restoration of Motion Blurred Images
In this paper, we present several algorithms developed for restoration of motion blurred images. We begin with a singleimage based deblurring approach in the case of linear consta...
Juwei Lu, Eunice Poon, Konstantinos N. Plataniotis
IROS
2007
IEEE
98views Robotics» more  IROS 2007»
14 years 6 months ago
Discrete trajectory control algorithms for NIMS3D, an autonomous underconstrained three-dimensional cabled robot
— In this paper we present algorithms that enable precise trajectory control of NIMS3D, an underconstrained, three-dimensional cabled robot intended for use in actuated sensing. ...
Per Henrik Borgstrom, Nils Peter Borgstrom, Michae...