445 search results - page 56 / 89 » Classifying model-theoretic properties |
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We introduce the novel problem of inter-robot transfer learning for perceptual classification of objects, where multiple heterogeneous robots communicate and transfer learned obje...
TVCG
2008
13 years 9 months ago
2008
Visualization of volumetric data faces the difficult task of finding effective parameters for the transfer functions. Those parameters can determine the effectiveness and accuracy ...
PODC
2011
ACM
13 years 22 days ago
2011
ACM
This work studies decision problems from the perspective of nondeterministic distributed algorithms. For a yes-instance there must exist a proof that can be verified with a distri...
SIGMOD
2006
ACM
14 years 10 months ago
2006
ACM
Recent data stream systems such as TelegraphCQ have employed the well-known property of duality between data and queries. In these systems, query processing methods are classified...