3457 search results - page 397 / 692 » A Symbol Is Not a Symbol |
126
click to vote
ISCAS
2006
IEEE
16 years 25 days ago
2006
IEEE
—This paper presents a high-performance CAVLC decoding VLSI architecture for MPEG-4 AVC/H.264. Instead of just skipping zero block, the proposed design explores the features of C...
192
click to vote
ISSRE
2006
IEEE
16 years 25 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
195
click to vote
ITRE
2006
IEEE
16 years 25 days ago
2006
IEEE
Knowledge models are structured representations of knowledge using symbols to represent pieces of knowledge and relationships between them, while a knowledge building community inv...
155
click to vote
IV
2006
IEEE
16 years 25 days ago
2006
IEEE
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...
175
click to vote
SYNASC
2006
IEEE
16 years 24 days ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...