4880 search results - page 497 / 976 » Manuals as Structured Programs |
177
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...
313
click to vote
IAAI
2011
14 years 6 months ago
2011
NewsFinder automates the steps involved in finding, selecting and publishing news stories that meet subjective judgments of relevance and interest to the Artificial Intelligence c...
306
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
We investigate the first-order theory of subtyping constraints. We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where a...
174
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
173
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speciï¬...