1116 search results - page 144 / 224 » Applying Predicate Abstraction to Abstract State Machines |
103
click to vote
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This research explores a new method for Semantic Web service matchmaking based on iSPARQL strategies, which enables to query the Semantic Web with techniques from traditi...
CORIA
2007
15 years 21 days ago
2007
ABSTRACT. In the framework of the LegDoc project at Xerox Research Centre Europe, we are developing components for the semantic annotation of semi-structured documents. While certa...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
JCP
2006
14 years 11 months ago
2006
Abstract-- This paper presents a biometric user authentication based on a person's gait. Unlike most previous gait recognition approaches, which are based on machine vision te...
100
click to vote
PVM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Domain decomposition for regular meshes on parallel computers has traditionally been performed by attempting to exactly partition the work among the available processors ...