4592 search results - page 553 / 919 » Framework for Studying Substitution |
351
click to vote
AND
2010
15 years 5 months ago
2010
Twitter, a micro-blogging service, provides users with a framework for writing brief, often-noisy postings about their lives. These posts are called "Tweets." In this pa...
210
click to vote
BMVC
2010
15 years 5 months ago
2010
In interest point based human action recognition, local descriptors are used to represent information in the neighbourhood around each extracted space-time interest point. The per...
195
click to vote
BMVC
2010
15 years 5 months ago
2010
This paper studies image segmentation based on the minimum description length (MDL) functional combining spatial regularization with a penality for the number of distinct segments...
198
click to vote
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
199
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...