1928 search results - page 117 / 386 » Integrity Constraints in OWL |
213
Voted
TCSV
2011
14 years 7 months ago
2011
—We present in this paper an integrated solution to rapidly recognizing dynamic objects in surveillance videos by exploring various contextual information. This solution consists...
88
Voted
CAISE
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
125
click to vote
JUCS
2010
14 years 7 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
111
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...
116
click to vote
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...