8031 search results - page 1312 / 1607 » Knowledge and Workflow Systems |
132
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
125
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Millions of laypersons need more medical information than they are customarily provided during their doctor’s visit. Health websites can help fill this knowledge gap, but the te...
125
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
In an online experiment, I apply theory from psychology and communications to find out whether group information management tasks are governed by the same communication processes...
162
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
127
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...