1426 search results - page 244 / 286 » Specification of nonmonotonic reasoning |
128
click to vote
AAAI
2008
15 years 4 months ago
2008
Classification of texts potentially containing a complex and specific terminology requires the use of learning methods that do not rely on extensive feature engineering. In this w...
102
click to vote
WSC
2007
15 years 4 months ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...
151
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
147
click to vote
MPC
2010
Springer
15 years 3 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
110
Voted
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...