Sciweavers

1963 search results - page 273 / 393
» Applications of Preferences using Answer Set Programming
Sort
View
AIR
2005
122views more  AIR 2005»
13 years 8 months ago
The Genetic Kernel Support Vector Machine: Description and Evaluation
The Support Vector Machine (SVM) has emerged in recent years as a popular approach to the classification of data. One problem that faces the user of an SVM is how to choose a kerne...
Tom Howley, Michael G. Madden
ESAS
2005
Springer
14 years 2 months ago
Remote Software-Based Attestation for Wireless Sensors
Wireless sensor networks are envisioned to be deployed in mission-critical applications. Detecting a compromised sensor, whose memory contents have been tampered, is crucial in the...
Mark Shaneck, Karthikeyan Mahadevan, Vishal Kher, ...
FLOPS
2006
Springer
14 years 16 days ago
"Scrap Your Boilerplate" Reloaded
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
Ralf Hinze, Andres Löh, Bruno C. D. S. Olivei...
PODS
2008
ACM
158views Database» more  PODS 2008»
14 years 9 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
AOSD
2003
ACM
14 years 2 months ago
Model-view-controller and object teams: a perfect match of paradigms
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
Matthias Veit, Stephan Herrmann