2282 search results - page 135 / 457 » Active property checking |
120
click to vote
SOCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
137
click to vote
CVBIA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a new framework for active contour and surface models. Based on the concepts of the elastic interaction between line defects in solids, this framework de�...
111
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
142
click to vote
MVA
2006
15 years 4 months ago
2006
This paper presents a new stereo sensor for active vision. Its cameras are mounted on two independent 2-DOF manipulators, themselves mounted on two translation stages. The system i...
132
click to vote
IJON
2007
15 years 4 months ago
2007
This paper introduces a new model of a spiking neuron with active dendrites and dynamic synapses (ADDS). The neuron employs the dynamics of the synapses and the active properties ...