1438 search results - page 260 / 288 » Relational aspects as tracematches |
168
Voted
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
174
Voted
ICALT
2006
IEEE
16 years 24 days ago
2006
IEEE
Vicarious Learning is learning from watching others learn. We believe that this is a powerful model for computer-based learning. Learning episodes can be captured and replayed to ...
203
Voted
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
Multimodal speech and speaker modeling and recognition are widely accepted as vital aspects of state of the art human-machine interaction systems. While correlations between speec...
171
Voted
INFOCOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— This paper investigates theoretical aspects of the uneven energy depletion phenomenon recently noticed in sink-based wireless sensor networks. We consider uniformly distributed...
185
click to vote
MM
2006
ACM
16 years 22 days ago
2006
ACM
Recently, interactive image cutout technique becomes prevalent for image segmentation problem due to its easy-to-use nature. However, most existing stroke-based interactive object...