14331 search results - page 2571 / 2867 » On the modeling and analysis of obligations |
241
click to vote
COLT
2000
Springer
15 years 12 months ago
2000
Springer
We describe a novel family of PAC model algorithms for learning linear threshold functions. The new algorithms work by boosting a simple weak learner and exhibit complexity bounds...
215
click to vote
AGP
1999
IEEE
15 years 12 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
192
click to vote
COMPSAC
1999
IEEE
15 years 12 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
199
click to vote
CSMR
1999
IEEE
15 years 12 months ago
1999
IEEE
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
220
Voted
MM
1999
ACM
15 years 12 months ago
1999
ACM
A real-time audio segmentation and indexing scheme is presented in this paper. Audio recordings are segmented and classified into basic audio types such as silence, speech, music,...