Sciweavers

499 search results - page 35 / 100
» Constructive Induction by Analogy
Sort
View
IJFCS
2008
158views more  IJFCS 2008»
14 years 11 months ago
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
Anil Seth
ERLANG
2004
ACM
15 years 5 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson
ITC
2003
IEEE
145views Hardware» more  ITC 2003»
15 years 5 months ago
CHARDIN: An Off-Chip Transient Current Monitor with Digital Interface for Production Testing
We present a measurement module that computes the charge from the transient supply current and provides a digital value of this magnitude. The module is constructed to provide a f...
Bartomeu Alorda, B. Bloechel, Ali Keshavarzi, Jaum...
TIT
2010
118views Education» more  TIT 2010»
14 years 6 months ago
Counterexamples to a proposed stam inequality on finite groups
Abstract--Gibilisco and Isola have recently proposed a definition of Fisher information for random variables taking values in a finite group that is analogous to the definition for...
Venkat Anantharam
ALT
2003
Springer
15 years 8 months ago
Intrinsic Complexity of Uniform Learning
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
Sandra Zilles