Sciweavers

4702 search results - page 104 / 941
» How to Copyright a Function
Sort
View
MSE
2000
IEEE
118views Hardware» more  MSE 2000»
15 years 8 months ago
MPEG Video Streaming with VCR Functionality
—With the proliferation of online multimedia content, the popularity of multimedia streaming technology, and the establishment of MPEG video coding standards, it is important to ...
Chia-Wen Lin, Jeongnam Youn, Jian Zhou, Ming-Ting ...
DOCENG
2007
ACM
15 years 8 months ago
Logical document conversion: combining functional and formal knowledge
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
Hervé Déjean, Jean-Luc Meunier
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 7 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
ENTCS
2007
101views more  ENTCS 2007»
15 years 4 months ago
Semantic Determinism and Functional Logic Program Properties
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
José Miguel Cleva, Francisco Javier L&oacut...
TOPLAS
1998
133views more  TOPLAS 1998»
15 years 3 months ago
A Systematic Study of Functional Language Implementations
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
Rémi Douence, Pascal Fradet