Sciweavers

4697 search results - page 287 / 940
» On Directed Information and Gambling
Sort
View
186
Voted
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
16 years 2 months ago
Exploiting structure in an AIG based QBF solver
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
Florian Pigorsch, Christoph Scholl
263
Voted
SAINT
2009
IEEE
16 years 2 months ago
CCDM: Central Controller-Based Device Management Architecture and Method to Split Management Scripts
This paper presents CCDM, a new architecture for management of devices, which collect environmental information and give effects to the environment. CCDM provides easy management ...
Akihiro Sugiyama, Hideya Ochiai, Hiroshi Esaki
193
Voted
ICEIS
2009
IEEE
16 years 2 months ago
Towards Successful Virtual Communities
With the multiplication of communication medium, the increasing multi-partner global organizations, the remote working tendencies, dynamic teams, pervasive or ubiquitous computing ...
Julien Subercaze, Christo El-Morr, Pierre Maret, A...
208
Voted
ATAL
2009
Springer
16 years 2 months ago
Operators for propagating trust and their evaluation in social networks
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
Chung-Wei Hang, Yonghong Wang, Munindar P. Singh
175
Voted
ICCS
2009
Springer
16 years 2 months ago
A Second Order Adjoint Method to Targeted Observations
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...
Humberto C. Godinez, Dacian N. Daescu