Sciweavers

1728 search results - page 133 / 346
» Advanced empirical testing
Sort
View
BIRTHDAY
2005
Springer
15 years 10 months ago
Psychological Validity of Schematic Proofs
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
Mateja Jamnik, Alan Bundy
COSIT
2005
Springer
111views GIS» more  COSIT 2005»
15 years 10 months ago
Matching Names and Definitions of Topological Operators
In previous empirical work humans did not recognize the definition of most topological operators for regions by their names in two geospatial information systems (GIS). This work d...
Catharina Riedemann
IBERAMIA
2004
Springer
15 years 9 months ago
A Case Base Seeding for Case-Based Planning Systems
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...
Flavio Tonidandel, Marcio Rillo
ICDAR
2003
IEEE
15 years 9 months ago
Towards a Ptolemaic Model for OCR
In style-constrained classification often there are only a few samples of each style and class, and the correspondences between styles in the training set and the test set are un...
Sriharsha Veeramachaneni, George Nagy
MM
2003
ACM
161views Multimedia» more  MM 2003»
15 years 9 months ago
Affective content detection using HMMs
This paper discusses a new technique for detecting affective events using Hidden Markov Models(HMM). To map low level features of video data to high level emotional events, we per...
Hang-Bong Kang