3408 search results - page 192 / 682 » Logic, language, information and computation |
146
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
149
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
Research in natural language generation promises significant advances in the ways in which we can make available the contents of underlying information sources. Most work in the f...
193
click to vote
ENTCS
2008
15 years 6 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
189
click to vote
LFCS
2007
Springer
16 years 22 days ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
176
click to vote
ITCC
2005
IEEE
16 years 5 days ago
2005
IEEE
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...