Sciweavers

483 search results - page 77 / 97
» Representing Knowledge about Norms
Sort
View
ASE
2006
122views more  ASE 2006»
14 years 12 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
CORR
2007
Springer
113views Education» more  CORR 2007»
14 years 11 months ago
Virtual screening with support vector machines and structure kernels
Support vector machines and kernel methods have recently gained considerable attention in chemoinformatics. They offer generally good performance for problems of supervised classi...
Pierre Mahé, Jean-Philippe Vert
NAR
2006
108views more  NAR 2006»
14 years 11 months ago
GLIDA: GPCR-ligand database for chemical genomic drug discovery
G-protein coupled receptors (GPCRs) represent one of the most important families of drug targets in pharmaceutical development. GPCR-LIgand DAtabase (GLIDA) is a novel public GPCR...
Yasushi Okuno, Jiyoon Yang, Kei Taneishi, Hiroaki ...
SICHERHEIT
2010
14 years 9 months ago
Quantifying the Attack Surface of a Web Application
Abstract: The attack surface of a system represents the exposure of application objects to attackers and is affected primarily by architecture and design decisions. Given otherwise...
Thomas Heumann, Sven Türpe, Jörg Keller
FSS
2011
93views more  FSS 2011»
14 years 6 months ago
Upper and lower probabilities induced by a fuzzy random variable
We review two existing interpretations of fuzzy random variables. In the first one, the fuzzy random variable is viewed as a linguistic random variable. In the second case, it re...
Inés Couso, Luciano Sánchez