3238 search results - page 450 / 648 » Not Enough Points Is Enough |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Higher-order tensor decompositions are analogous to the familiar Singular Value Decomposition (SVD), but they transcend the limitations of matrices (second-order tensors). SVD is ...
CPHYSICS
2007
13 years 10 months ago
2007
Low pressure (<50 mTorr) argon discharges inside tubes of a few millimeters in diameter have been studied by means of one- and twodimensional particle-in-cell Monte Carlo colli...
JALC
2006
13 years 10 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...