Sciweavers

1816 search results - page 42 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
VLSID
1999
IEEE
101views VLSI» more  VLSID 1999»
14 years 23 days ago
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
Ingo Sander, Axel Jantsch
ACL
2006
13 years 10 months ago
Using String-Kernels for Learning Semantic Parsers
We present a new approach for mapping natural language sentences to their formal meaning representations using stringkernel-based classifiers. Our system learns these classifiers ...
Rohit J. Kate, Raymond J. Mooney
KBS
1998
122views more  KBS 1998»
13 years 8 months ago
Concept formation in design
: This paper presents a computationally tractable view on where simple design concepts come from by proposing a paradigm for the formation of design concepts based on the emergence...
John S. Gero
CLA
2004
13 years 10 months ago
A Semi-automatic Method to Ontology Design by Using FCA
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
Hele-Mai Haav
FM
1999
Springer
93views Formal Methods» more  FM 1999»
14 years 23 days ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine