12637 search results - page 2339 / 2528 » Security for Extensible Systems |
175
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
Given a graph database D and a query graph g, an exact subgraph matching query asks for the set S of graphs in D that contain g as a subgraph. This type of queries find important...
160
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
163
Voted
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
A Riemannian-geometry approach for control and stabilization of dynamics of object manipulation under holonomic or non-holonomic (but Pfaffian) constraints is presented. First, pos...
172
click to vote
BMCBI
2011
15 years 2 days ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
166
click to vote
COMCOM
2011
15 years 1 days ago
2011
The rapid proliferation of mobile computing devices and local wireless networks over the past few years has promoted a continuously growing interest in location-aware systems and ...