1623 search results - page 147 / 325 » Collaborative Problem Solving Environment |
120
click to vote
AISC
2004
Springer
15 years 6 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
137
Voted
APNOMS
2006
Springer
15 years 6 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
120
Voted
DEXAW
2004
IEEE
15 years 6 months ago
2004
IEEE
Nowadays, there exists a great interest in wireless and mobile devices. However, the development of graphical user interfaces (GUIs) for applications in these environments must co...
116
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we develop a new approach to the robust beamforming for general-rank signal models. Our method is based on the worst-case performance optimization using a semi-de n...
113
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...