549 search results - page 49 / 110 » Verification condition generation for conditional informatio... |
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
— One feature that classification algorithms typically lack is the ability to know what they do not know. With this knowledge an algorithm would be able to operate in any domain...
121
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
114
click to vote
ICDIM
2007
IEEE
15 years 4 months ago
2007
IEEE
Users in ubiquitous and pervasive computing environments will be much more empowered in ways to access and to control their navigation. Handover, the vital event in which a user c...
104
Voted
EMNLP
2008
15 years 2 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
91
Voted
ISR
2010
14 years 7 months ago
2010
Information goods vendors offer different pricing schemes such as per user pricing and site licensing. Why do competing sellers adopt different pricing schemes for the same inform...