Sciweavers

5302 search results - page 826 / 1061
» Learning How to Separate
Sort
View
ICDM
2009
IEEE
98views Data Mining» more  ICDM 2009»
16 years 1 months ago
Topic Distributions over Links on Web
—It is well known that Web users create links with different intentions. However, a key question, which is not well studied, is how to categorize the links and how to quantify th...
Jie Tang, Jing Zhang, Jeffrey Xu Yu, Zi Yang, Keke...
SAT
2009
Springer
158views Hardware» more  SAT 2009»
16 years 1 months ago
Beyond CNF: A Circuit-Based QBF Solver
State-of-the-art solvers for Quantified Boolean Formulas (QBF) have employed many techniques from the field of Boolean Satisfiability (SAT) including the use of Conjunctive Norm...
Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchu...
ACSAC
2008
IEEE
16 years 1 months ago
Structuring for Strategic Cyber Defense: A Cyber Manhattan Project Blueprint
In February 2002, more than 50 leaders in the information assurance field warned the President of the United States of a national strategic vulnerability in the country’s inform...
O. Sami Saydjari
HICSS
2008
IEEE
122views Biometrics» more  HICSS 2008»
16 years 1 months ago
A Meta-theory for Understanding IS in Socio-technical Systems
Information systems (IS) research often attempts to examine and explain how technology leads to outcomes through usage of information technology (IT). Although extensive research ...
Dominic M. Thomas, Saurabh Gupta, Robert P. Bostro...
IROS
2008
IEEE
144views Robotics» more  IROS 2008»
16 years 1 months ago
Task maps in humanoid robot manipulation
— This paper presents an integrative approach to solve the coupled problem of reaching and grasping an object in a cluttered environment with a humanoid robot. While finding an ...
Michael Gienger, Marc Toussaint, Christian Goerick