4413 search results - page 82 / 883 » New Directions for CACM |
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
SIAMCO
2008
13 years 9 months ago
2008
We consider stochastic impulse control problems where the process is driven by one-dimensional diffusions. Impulse control problems are widely applied to financial engineering and...
BIOINFORMATICS
2005
13 years 9 months ago
2005
Motivation: Remote homology detection between protein sequences is a central problem in computational biology. Supervised learning algorithms based on support vector machines are ...
PRL
2010
13 years 8 months ago
2010
— This paper introduces the establishment of PolyU Near-Infrared Face Database (PolyU-4 NIRFD) and presents a new coding scheme for face recognition. The PolyU-NIRFD contains ima...
AIIDE
2008
13 years 12 months ago
2008
Cooperative behavior is a desired trait in many fields from computer games to robotics. Yet, achieving cooperative behavior is often difficult, as maintaining shared information a...