5787 search results - page 49 / 1158 » Generic User Modeling Systems |
115
click to vote
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
110
click to vote
ENTCS
2007
15 years 2 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
120
click to vote
OTM
2010
Springer
15 years 25 days ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
124
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Building a generic content-based sports video analysis system remains a challenging problem because of the diversity in sports rules and game features which makes it difficult to ...
143
click to vote
CISIS
2007
IEEE
15 years 2 months ago
2007
IEEE
Problem determination in today's computing environments consumes between 30 and 70% of an organization’s IT resources and represents from one third to one half of their tot...