Sciweavers

9931 search results - page 282 / 1987
» Generative Modeling by PRISM
Sort
View
ANLP
2000
97views more  ANLP 2000»
15 years 6 months ago
Trainable Methods for Surface Natural Language Generation
We present three systems for surface natural language generation that are trainable from annotated corpora. The first two systems, called NLG1 and NLG2, require a corpus marked on...
Adwait Ratnaparkhi
EFDBS
2000
15 years 6 months ago
HERA: Automatically Generating Hypermedia Front-ends
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
Geert-Jan Houben
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
15 years 2 months ago
Synchronized Generation of Directed Tests Using Satisfiability Solving
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Xiaoke Qin, Mingsong Chen, Prabhat Mishra
157
Voted
ICC
2009
IEEE
130views Communications» more  ICC 2009»
15 years 2 months ago
Verification of Secret Key Generation from UWB Channel Observations
Theoretical models of ultrawideband (UWB) radio channels indicate that pairs of UWB radio transceivers measure their common radio channel with a high degree of agreement and third ...
Masoud Ghoreishi Madiseh, Shuai He, Michael L. McG...
ICDE
2011
IEEE
220views Database» more  ICDE 2011»
14 years 8 months ago
Generating test data for killing SQL mutants: A constraint-based approach
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep ...