5550 search results - page 110 / 1110 » Different Approaches to Proof Systems |
165
click to vote
FDL
2005
IEEE
16 years 2 hour ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
144
click to vote
TSMC
2008
15 years 6 months ago
2008
Role-based approaches are emerging technologies in information system design and implementation. Roles have been acknowledged and applied in many fields for many years. Considerin...
150
click to vote
LPNMR
2009
Springer
16 years 28 days ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
202
click to vote
MVA
2007
15 years 7 months ago
2007
Dynamic texture is an extension of texture to the temporal domain. Recently, a powerful method for dynamic texture recognition based on volume local binary patterns (VLBP) was pro...
181
click to vote
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...