Sciweavers

1128 search results - page 99 / 226
» Classical Natural Deduction
Sort
View
DSD
2007
IEEE
98views Hardware» more  DSD 2007»
14 years 4 months ago
Fault Diagnosis in Integrated Circuits with BIST
This paper presents an optimized fault diagnosing procedure applicable in Built-in Self-Test environments. Instead of the known approach based on a simple bisection of patterns in...
Raimund Ubar, Sergei Kostin, Jaan Raik, Teet Evart...
MLMI
2007
Springer
14 years 4 months ago
Automatic Annotation of Dialogue Structure from Simple User Interaction
Abstract. In [1], we presented a method for automatic detection of action items from natural conversation. This method relies on supervised classification techniques that are trai...
Matthew Purver, John Niekrasz, Patrick Ehlen
OTM
2007
Springer
14 years 4 months ago
Bayesian Analysis of Secure P2P Sharing Protocols
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
Esther Palomar, Almudena Alcaide, Juan M. Est&eacu...
ICDM
2006
IEEE
137views Data Mining» more  ICDM 2006»
14 years 4 months ago
Automatic Construction of N-ary Tree Based Taxonomies
Hierarchies are an intuitive and effective organization paradigm for data. Of late there has been considerable research on automatically learning hierarchical organizations of dat...
Kunal Punera, Suju Rajan, Joydeep Ghosh
SYNASC
2006
IEEE
95views Algorithms» more  SYNASC 2006»
14 years 4 months ago
Evolutionary Support Vector Regression Machines
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...
Ruxandra Stoean, Dumitru Dumitrescu, Mike Preuss, ...