Sciweavers

2623 search results - page 117 / 525
» Universal Learning Theory
Sort
View
FUIN
2007
91views more  FUIN 2007»
15 years 17 days 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
107
Voted
STTT
2010
92views more  STTT 2010»
14 years 7 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...
68
Voted
BIRTHDAY
2009
Springer
15 years 7 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 2 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 2 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...