Sciweavers

3646 search results - page 249 / 730
» Voice search for development
Sort
View
FROCOS
2007
Springer
16 years 25 days ago
Temporal Logic with Capacity Constraints
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
Clare Dixon, Michael Fisher, Boris Konev
MM
2006
ACM
134views Multimedia» more  MM 2006»
16 years 19 days ago
The mediamill large.lexicon concept suggestion engine
In this technical demonstration we show the current version of the MediaMill system, a search engine that facilitates access to news video archives at a semantic level. The core o...
Marcel Worring, Cees G. M. Snoek, Bouke Huurnink, ...
181
Voted
ICCV
2005
IEEE
16 years 9 days ago
Common Pattern Discovery Using Earth Mover's Distance and Local Flow Maximization
In this paper, we present a novel segmentationinsensitive approach for mining common patterns from 2 images. We develop an algorithm using the Earth Movers Distance (EMD) framewor...
Hung-Khoon Tan, Chong-Wah Ngo
OOPSLA
2005
Springer
16 years 5 days ago
Inferring context-free grammars for domain-specific languages
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
Faizan Javed
ERCIMDL
2004
Springer
137views Education» more  ERCIMDL 2004»
16 years 2 days ago
Managing a Paradigm Shift - Aligning Management, Privacy Policy, Technology and Standards
It is argued that we are experiencing a paradigm shift from a user perspective to a client perspective in library and information science. The paradigm shift is brought about by re...
Jonas Holmström