1640 search results - page 220 / 328 » Conditional Independence Trees |
SAS
2007
Springer
14 years 2 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— The IEEE 802.16 standard is providing support for Mesh networks of which two scheduling mechanisms (i.e., centralized scheduling and distributed scheduling) are proposed. Centr...
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes a significant redesign of the introductory courses at the University of Washington that has led to increased enrollments, increased student satisfaction and a...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Sybil attack is a harmful threat to sensor networks, in which a malicious node illegally forges an unbounded number of identities to defeat redundancy mechanisms. Digital certifi...
EMO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In engineering and other ‘real-world’ applications, multiobjective optimization problems must frequently be tackled on a tight evaluation budget — tens or hundreds ...