Sciweavers

297 search results - page 25 / 60
» et 2002
Sort
View
JUCS
2007
118views more  JUCS 2007»
13 years 9 months ago
Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and Overlaps
: The distribution of overlaps of solutions of a random constraint satisfaction problem (CSP) is an indicator of the overall geometry of its solution space. For random k-SAT, nonri...
Gabriel Istrate
SP
2005
IEEE
183views Security Privacy» more  SP 2005»
14 years 3 months ago
A Generic Attack on Checksumming-Based Software Tamper Resistance
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
Glenn Wurster, Paul C. van Oorschot, Anil Somayaji
AAAI
2006
13 years 11 months ago
Collective Construction Using Lego Robots
hibition: Extended Abstract Social insects, such as ants and termites, collectively build large and complex structures, with many individuals following simple rules and no centrali...
Crystal Schuil, Matthew Valente, Justin Werfel, Ra...
NAACL
2004
13 years 11 months ago
Shallow Semantic Parsing using Support Vector Machines
In this paper, we propose a machine learning algorithm for shallow semantic parsing, extending the work of Gildea and Jurafsky (2002), Surdeanu et al. (2003) and others. Our algor...
Sameer Pradhan, Wayne Ward, Kadri Hacioglu, James ...
COLING
2002
13 years 9 months ago
Topic Detection Based on Dialogue History
In this paper, we propose a topic detection method using a dialogue history for selecting a scene in the automatic interpretation system (Ikeda et al., 2002). The method uses a k-...
Takayuki Nakata, Shinichi Ando, Akitoshi Okumura