4328 search results - page 351 / 866 » A New Kind of Science |
160
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditional GSS workflow leverages the abilities of an expert facilitator to lead groups through the convergence activities. This dependence on a facilitator creates a bottleneck ...
227
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
144
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Technology adoption is well defined in e-business. The environment within which leaders must act in government is significantly different that that navigated by business leaders. ...
202
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...
160
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
We propose a simple modification of a well-known Random Walk algorithm for solving the Satisfiability problem and analyze its performance on random CNFs with a planted solution. ...