12774 search results - page 2365 / 2555 » A Framework for Proof Systems |
160
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we propose a framework for synchronization based control (SBC) using neural oscillators for motion assist. A neural oscillator is used to accomplish synchronization a...
168
click to vote
ICWE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...
187
click to vote
AISS
2010
15 years 4 months ago
2010
In recent years, e-government interoperability frameworks (e-GIFs) and enterprise architectures (EAs) have been extensively developed as mechanism tools for achieving the interope...
150
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
1 minimization can be used to recover sufficiently sparse unknown signals from compressed linear measurements. In fact, exact thresholds on the sparsity, as a function of the ratio...
169
Voted
EG
2010
15 years 4 months ago
2010
: The purpose of this paper is to identify internal factors within government that affect the adoption and use of government websites. A conceptual framework, based on a literature...