302 search results - page 50 / 61 » Deriving input syntactic structure from execution |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
KDD
2003
ACM
14 years 10 months ago
2003
ACM
Web personalization is the process of customizing a Web site to the needs of each specific user or set of users, taking advantage of the knowledge acquired through the analysis of...
IDA
2009
Springer
14 years 4 months ago
2009
Springer
One of the most important and challenging questions in the area of clustering is how to choose the best-fitting algorithm and parameterization to obtain an optiml clustering for t...
APSEC
2006
IEEE
14 years 4 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
SCOPES
2004
Springer
14 years 3 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...