1782 search results - page 282 / 357 » Learning in Parallel Universes |
129
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
135
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—This paper presents a novel study on how to distribute neural networks in a wireless sensor networks (WSNs) such that the energy consumption is minimized while improving...
137
click to vote
SIGCSE
2000
ACM
15 years 8 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
146
click to vote
LREC
2008
15 years 5 months ago
2008
We introduce the corpus of United States Congressional bills from 1947 to 1998 for use by language research communities. The U.S. Policy Agenda Legislation Corpus Volume 1 (USPALC...
145
click to vote
ISMB
1993
15 years 5 months ago
1993
Weintroduce a parallel approach, "DT-SELECT," for selecting features used by inductive learning algorithms to predict protein secondary structure. DT-SELECTis able to ra...