2827 search results - page 163 / 566 » Meta-programming for the real world |
153
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper we consider the problem of classification in the presence of pairwise constraints, which consist of pairs of examples as well as a binary variable indicating whether...
156
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
168
click to vote
BIOWIRE
2007
Springer
16 years 20 days ago
2007
Springer
The emergence of Delay Tolerant Networks (DTNs) has culminated in a new generation of wireless networking. New communication paradigms, which use dynamic interconnectedness as peop...
138
click to vote
IWANN
2007
Springer
16 years 18 days ago
2007
Springer
The global trend of increasing longevity of modern societies is causing a growing attention to the elderly citizens. The world elderly population’s needs create the conditions fo...
151
click to vote
CEC
2005
IEEE
16 years 3 days ago
2005
IEEE
AbstractThe principle of cooperation influences our everyday lives. This conflict between individual and collective rationality can be modelled through the use of social dilemmas...