2231 search results - page 171 / 447 » Alternation as a programming paradigm |
148
Voted
EATCS
2000
15 years 4 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
156
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Multiple-instance Learning (MIL) is a new paradigm
of supervised learning that deals with the classification of
bags. Each bag is presented as a collection of instances
from whi...
131
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
121
click to vote
ITCC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an alternative to current authoring methods for use in distance education. Several commercially available distanceeducation authoring tools are briefly discuss...
241
click to vote
CN
2011
14 years 11 months ago
2011
Already a popular application in the Internet, IPTV is becoming, among the service providers, a preferred alternative to conventional broadcasting technologies. Since many of the ...