3809 search results - page 312 / 762 » Associative language descriptions |
189
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
203
click to vote
SWWS
2008
15 years 8 months ago
2008
- Knowledge extraction methods have not efficiently evolved towards new methods to automate the process of building multilingual ontologies as the main representation of structured...
325
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
158
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in highdimensional feature spaces. Those interested in rela...
168
Voted
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...