Sciweavers

3160 search results - page 431 / 632
» Postcards from the future
Sort
View
ATAL
2004
Springer
15 years 12 months ago
SimEd: Simulating Education as a Multi Agent System
This paper describes our efforts in creating SimEd, a simulation of the education system. The longterm aim of this work is to be able to model the types of interactions and interp...
Elizabeth Sklar, Mathew Davies, Min San Tan Co
CCS
2004
ACM
15 years 12 months ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
CIVR
2004
Springer
200views Image Analysis» more  CIVR 2004»
15 years 12 months ago
HMM Model Selection Issues for Soccer Video
There has been a concerted effort from the Video Retrieval community to develop tools that automate the annotation process of Sports video. In this paper, we provide an in-depth i...
Mark Baillie, Joemon M. Jose, Cornelis Joost van R...
DEXA
2004
Springer
103views Database» more  DEXA 2004»
15 years 12 months ago
Characterizing Database User's Access Patterns
Much work has been done on characterizing the workload of a database system. Previous studies focused on providing different types of statistical summaries, and modeling the run-ti...
Qingsong Yao, Aijun An
ECAI
2004
Springer
15 years 12 months ago
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern
Finite-domain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutio...
Alan M. Frisch, Christopher Jefferson, Ian Miguel