Sciweavers

2989 search results - page 547 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
ISORC
1999
IEEE
15 years 2 months ago
Implementing the Real-Time Publisher/Subscriber Model on the Controller Area Network (CAN)
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
Jörg Kaiser, Michael Mock
CVPR
1997
IEEE
15 years 1 months ago
Completion Energies and Scale
ÐThe detection of smooth curves in images and their completion over gaps are two important problems in perceptual grouping. In this study, we examine the notion of completion ener...
Eitan Sharon, Achi Brandt, Ronen Basri
ACMICEC
2006
ACM
111views ECommerce» more  ACMICEC 2006»
15 years 1 months ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
Laura Kang, David C. Parkes
CVPR
2004
IEEE
15 years 1 months ago
Midstream Content Access of Visual Pattern Coded Imagery
Multimedia retrieval is going to play an increasingly important role in the future. Since the availability of digital media seems ever rising, not only the retrieval performance i...
Gerald Schaefer
AAAI
2008
15 years 2 days ago
Learning to Analyze Binary Computer Code
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller...