687 search results - page 114 / 138 » Specification and Verification of Model Transformations Usin... |
110
Voted
MOBIHOC
2002
ACM
16 years 1 days ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...
107
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
IEEEICCI
2007
IEEE
15 years 6 months ago
2007
IEEE
The ability to associate images is the basis for learning relationships involving vision, hearing, tactile sensation, and kinetic motion. A new architecture is described that has ...
114
Voted
TCS
2002
15 years 2 days ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
107
Voted
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. A model of human appearance is presented for efficient pose estimation from real-world images. In common with related approaches, a high-level model defines a space of co...