3468 search results - page 645 / 694 » An open logical framework |
112
click to vote
KDD
2004
ACM
15 years 5 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
105
click to vote
MKM
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
111
Voted
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...
77
Voted
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
105
Voted
FPGA
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a flexible FPGA architecture evaluation framework, named fpgaEVA-LP, for power efficiency analysis of LUT-based FPGA architectures. Our work has several contri...