8828 search results - page 1167 / 1766 » Formal methods in practice |
212
click to vote
ICDT
2003
ACM
16 years 19 days ago
2003
ACM
All the languages for querying semistructured data and the web use as an integral part regular expressions. Based on practical observations, finding the paths that satisfy those r...
195
Voted
ECCV
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
151
click to vote
ECCV
2010
Springer
16 years 12 days ago
2010
Springer
The popular bag-of-words paradigm for action recognition tasks is based on building histograms of quantized features, typically at the cost of discarding all information about rela...
177
Voted
ICRA
2002
IEEE
16 years 11 days ago
2002
IEEE
In this paper we present an approach to obstacle avoidance and local path planning for polygonal robots. It decomposes the task into a model stage and a planning stage. The model ...
184
Voted
NDSS
2002
IEEE
16 years 10 days ago
2002
IEEE
This paper explores practical and conceptual implications of using Server-Aided Signatures (SAS). SAS is a signature method that relies on partially-trusted servers for generating...