7103 search results - page 1016 / 1421 » Program Generation and Components |
125
Voted
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
Similarity measures in many real applications generate indefinite similarity matrices. In this paper, we consider the problem of classification based on such indefinite similariti...
208
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
233
Voted
CC
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
138
click to vote
PERCOM
2009
ACM
16 years 5 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
133
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
In preemptive real-time systems, a tighter estimate of the Worst Case Response Time(WCRT) of the tasks can be obtained if the layout of the tasks in memory is included in the esti...