5622 search results - page 683 / 1125 » Solving architectural modelling problems using knowledge |
234
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Nowadays, enormous amounts of data are continuously generated not only in massive scale, but also from different, sometimes conflicting, views. Therefore, it is important to conso...
205
click to vote
SPIN
2004
Springer
16 years 17 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
254
click to vote
3DIM
2005
IEEE
15 years 9 months ago
2005
IEEE
Camera calibration methods, whether implicit or explicit, are a critical part of most 3D vision systems. These methods involve estimation of a model for the camera that produced t...
214
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Learning inverse kinematics has long been fascinating the robot learning community. While humans acquire this transformation to complicated tool spaces with ease, it is...
179
click to vote
AIPS
2003
15 years 8 months ago
2003
Given a set of rectangles with fixed orientations, we want to find an enclosing rectangle of minimum area that contains them all with no overlap. Many simple scheduling tasks ca...