Sciweavers

499 search results - page 35 / 100
» Constructive Induction by Analogy
Sort
View
IJFCS
2008
158views more  IJFCS 2008»
13 years 7 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
14 years 1 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»
14 years 28 days 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»
13 years 2 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
14 years 4 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