2232 search results - page 376 / 447 » Formal Modeling and Analysis of Organizations |
170
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
136
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we present a case study of humaninformation interaction in the online realm of politics. The case study consists of a participant observed while searching and brows...
154
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
The multiple species de novo gene prediction problem can be stated as follows: given an alignment of genomic sequences from two or more organisms, predict the location and structur...
148
click to vote
ICASSP
2009
IEEE
16 years 21 days ago
2009
IEEE
We propose novel algorithms for organizing large image and video datasets using both the visual content and the associated sideinformation, such as time, location, authorship, and...
150
Voted
CHI
2010
ACM
16 years 13 days ago
2010
ACM
Default privacy policies have a significant impact on the overall dynamics and success of online social networks, as users tend to keep their initial privacy policies. In this wor...