1187 search results - page 184 / 238 » Graph-Based Procedural Abstraction |
104
click to vote
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Image segmentation techniques typically require proper weighting of competing data fidelity and regularization terms. Conventionally, the associated parameters are set t...
ICDS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
ISQED
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...
100
click to vote
SIBGRAPI
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Authentication watermarking is a hidden data inserted into an image, in order to detect any alterations. It seems to be almost impossible to design a really secure authen...