36 search results - page 4 / 8 » spin 2005 |
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
JMLR
2010
13 years 2 months ago
2010
We develop a new form of reweighting (Wainwright et al., 2005b) to leverage the relationship between Ising spin glasses and perfect matchings into a novel technique for the exact ...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Rotational motion can often be seen in video. However, comparatively little research has been done to investigate rotational motions in video, whose analysis could be useful. For ...
ACS
2005
13 years 7 months ago
2005
We develop a symmetric analog of brace algebras and discuss the relation of such algebras to L-algebras. We give an alternate proof that the category of symmetric brace algebras is...
SPIN
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...