Sciweavers

339 search results - page 49 / 68
» The Retrieval Problem in a Concept Language with Number Rest...
Sort
View
SIGECOM
2003
ACM
115views ECommerce» more  SIGECOM 2003»
14 years 27 days ago
Betting boolean-style: a framework for trading in securities based on logical formulas
We develop a framework for trading in compound securities: financial instruments that pay off contingent on the outcomes of arbitrary statements in propositional logic. Buying o...
Lance Fortnow, Joe Kilian, David M. Pennock, Micha...
DASFAA
2005
IEEE
191views Database» more  DASFAA 2005»
14 years 1 months ago
An Efficient Approach to Extracting Approximate Repeating Patterns in Music Databases
Pattern extraction from music strings is an important problem. The patterns extracted from music strings can be used as features for music retrieval or analysis. Previous works on ...
Ning-Han Liu, Yi-Hung Wu, Arbee L. P. Chen
IROS
2009
IEEE
125views Robotics» more  IROS 2009»
14 years 2 months ago
A tale of two planners: Modular robotic planning with LDP
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
Michael DeRosa, Seth Copen Goldstein, Peter Lee, P...
IPCV
2008
13 years 9 months ago
Speech Recognition System of Arabic Digits based on A Telephony Arabic Corpus
- Automatic recognition of spoken digits is one of the difficult tasks in the field of computer speech recognition. Spoken digits recognition process is required in many applicatio...
Yousef Alotaibi, Mansour Al-Ghamdi, Fahad Alotaiby
ESORICS
2009
Springer
13 years 11 months ago
Declassification with Explicit Reference Points
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
Alexander Lux, Heiko Mantel