2448 search results - page 411 / 490 » The Octahedron Abstract Domain |
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
ECWEB
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Reviews and review based rankings are widely used in recommendation systems to provide potential customers quality information about selected products. During the last ye...
ERCIMDL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Recent work on analyzing query logs shows that a significant fraction of queries are temporal, i.e., relevancy is dependent on time, and temporal queries play an importan...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In the aftermath of a large-scale disaster, agents’ decisions derive from self-interested (e.g. survival), common-good (e.g. victims’ rescue) and teamwork (e.g. fire...