Sciweavers

2623 search results - page 117 / 525
» Universal Learning Theory
Sort
View
FUIN
2007
91views more  FUIN 2007»
15 years 6 months ago
On Communicating Automata with Bounded Channels
Abstract. We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theor...
Blaise Genest, Dietrich Kuske, Anca Muscholl
STTT
2010
92views more  STTT 2010»
15 years 1 months ago
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
Andreas Bauer 0002, Martin Leucker, Christian Scha...
BIRTHDAY
2009
Springer
16 years 1 months ago
No i-Sums for Nissim (and Shalom)
Lappin and Francez (1994) present a theory of donkey anaphora which, they claim, captures both their existential and their universal readings, while maintaining a uniform represent...
Itamar Francez
CF
2008
ACM
15 years 8 months ago
Exact combinational logic synthesis and non-standard circuit design
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
Paul Tarau, Brenda Luderman
IADIS
2004
15 years 8 months ago
Bilingual E-learning across the Pacific
The authors have been actively engaged in E-learning starting in 1996, at the College of Staten Island, CUNY, a public university in New York City, New York, U.S.A. and Shanghai T...
Emile Chungtian Chi, Roberta Marsha Klibaner, Ke-P...