Sciweavers

3333 search results - page 609 / 667
» Abstract Proof Search
Sort
View
EOR
2007
364views more  EOR 2007»
15 years 3 months ago
Heuristics for the mirrored traveling tournament problem
Professional sports leagues are a major economic activity around the world. Teams and leagues do not want to waste their investments in players and structure in consequence of poo...
Celso C. Ribeiro, Sebastián Urrutia
128
Voted
IJDE
2002
159views more  IJDE 2002»
15 years 3 months ago
An Examination of Digital Forensic Models
Law enforcement is in a perpetual race with criminals in the application of digital technologies, and requires the development of tools to systematically search digital devices fo...
Mark Reith, Clint Carr, Gregg H. Gunsch
GIS
1998
ACM
15 years 3 months ago
Aoristic Crime Analysis
Abstract. Crime pattern analysis has tended to focus on `hotspot’ analysis techniques; the identi® cation of areas with higher densities of criminal activity. This paper documen...
Jerry H. Ratcliffe, Michael J. McCullagh
CSUR
1999
137views more  CSUR 1999»
15 years 3 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
132
Voted
NGC
2002
Springer
107views Communications» more  NGC 2002»
15 years 3 months ago
An Information Management System with the Facility to Support Long-term Creative Thinking
Abstract Most previous creativity support systems sustain shortterm temporal thinking that is separate from users' daily activities. In this paper, we propose a system to supp...
Hirohito Shibata, Koichi Hori