156 search results - page 15 / 32 » Logic for Computational Effects: Work in Progress |
100
click to vote
DISOPT
2008
14 years 9 months ago
2008
This paper is motivated by the fact that mixed integer nonlinear programming is an important and difficult area for which there is a need for developing new methods and software f...
112
click to vote
EFDBS
2003
14 years 11 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
78
Voted
ENGL
2007
14 years 9 months ago
2007
— We make use of discrete wavelets to extract distinguishing features between normal and cancerous human breast tissue fluorescence spectra. These are then used in conjunction wi...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Research into optical markerless human motion capture has attracted significant attention. However, the complexity of the human anatomy, ambiguities introduced by lacking full-pe...
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
We present an approach for online learning of discriminative appearance models for robust multi-target tracking in a crowded scene from a single camera. Although much progress has...