1116 search results - page 188 / 224 » An Eclipse-based tool framework for software model managemen... |
ICPR
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Boosting covariance data on Riemannian manifolds has proven to be a convenient strategy in a pedestrian detection context. In this paper we show that the detection perfor...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
Reliable methods to assess the costs and benefits of ontologies are an important instrument to demonstrate the tangible business value of semantic technologies within enterprises,...