642 search results - page 67 / 129 » A Framework for Pattern-Based Global Models |
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
126
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
The bounding box representation employed by many popular object detection models [3, 6] implicitly assumes all pixels inside the box belong to the object. This assumption makes th...
111
click to vote
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
3D modeling of a free-form object involves the acquisition of multiple views (range images) of the object to cover its entire surface. These views are then registered in a common ...
CARDIS
2004
Springer
15 years 5 months ago
2004
Springer
CMOS gates consume different amounts of power whether their output has a falling or a rising edge. Therefore the overall power consumption of a CMOS circuit leaks information about...
119
click to vote
ENTCS
2007
14 years 11 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...