1006 search results - page 162 / 202 » Generating XML structure using examples and constraints |
134
Voted
TIP
2010
14 years 4 months ago
2010
The emergence of low-cost sensing architectures for diverse modalities has made it possible to deploy sensor networks that capture a single event from a large number of vantage po...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Random binary matrices have found many applications in signal processing and coding. Rateless codes, for example, are based on the random generation of codewords by means of inner...
104
Voted
ICFP
2012
ACM
13 years 2 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
: Over the years, many design methodologies/tools and layout architectures have been developed for datapath-oriented designs. One commonly used approach for high-speed datapath des...
IJCAI
1989
14 years 10 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...