5353 search results - page 361 / 1071 » Modelling Contexts in the Or-BAC Model |
195
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Fully automatic 3D modeling from a catadioptric image sequence has rarely been addressed until now, although this is a long-standing problem for perspective images. All previous c...
192
click to vote
GLVLSI
2009
IEEE
16 years 2 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
231
click to vote
SACI
2009
IEEE
16 years 2 months ago
2009
IEEE
—In the grid context, there is little support for programming paradigms such as shared data or associative programming. We have previously proposed an original idea to attack sha...
210
click to vote
AGILE
2009
Springer
2009
Springer
Enhancing 3D City Models with Heterogeneous Spatial Information: Towards 3D Land Information Systems
16 years 2 months ago
Spatial and georeferenced information plays an important role in urban land management processes such as spatial planning and environmental management. As many of the processes ar...
223
click to vote
DATE
2008
IEEE
16 years 2 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...