1184 search results - page 229 / 237 » Algorithmic Results in List Decoding |
180
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
197
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
Sensor networks have been conventionally defined as a network of sensor motes that collaboratively detect events and report them to a remote monitoring station. This paper makes a...
148
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
181
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
Wireless Mesh Networks (WMNs) are an emerging architecture based on multi-hop transmission. ISPs considers WMNs as a potential future technology to offer broadband Internet acces...
182
click to vote
AAAI
2004
15 years 7 months ago
2004
Traditionally, text classifiers are built from labeled training examples. Labeling is usually done manually by human experts (or the users), which is a labor intensive and time co...