Sciweavers

2381 search results - page 229 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
IUI
2005
ACM
16 years 7 days ago
Task learning by instruction in tailor
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...
Jim Blythe
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 12 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
ECP
1997
Springer
68views Robotics» more  ECP 1997»
15 years 10 months ago
Ignoring Irrelevant Facts and Operators in Plan Generation
It is traditional wisdom that one should start from the goals when generating a plan in order to focus the plan generation process on potentially relevant actions. The graphplan sy...
Bernhard Nebel, Yannis Dimopoulos, Jana Koehler
FPGA
2008
ACM
623views FPGA» more  FPGA 2008»
15 years 8 months ago
From the bitstream to the netlist
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
Jean-Baptiste Note, Éric Rannaud
SERP
2003
15 years 8 months ago
Integrated Tools for Performance-Oriented Distributed Software Development
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...
Nicola Mazzocca, Emilio Mancini, Massimiliano Rak,...