2607 search results - page 144 / 522 » Complete Functional Synthesis |
113
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...
123
Voted
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
127
Voted
DKE
2008
15 years 3 months ago
2008
In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the c...
91
Voted
FSS
2006
15 years 3 months ago
2006
Abstract. We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so-called truth-depressing hedges. These connectives for...
FCCM
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents timing and area results for an FPGA implementation of a CDMA-based switch for networkson-chip. The design was mapped onto the Xilinx Virtex4 XC4VLX200 device u...