5787 search results - page 49 / 1158 » Generic User Modeling Systems |
ESOP
2012
Springer
13 years 6 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...
ENTCS
2007
14 years 11 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...
OTM
2010
Springer
14 years 9 months 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...
99
Voted
ICPR
2006
IEEE
16 years 5 days 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 ...
109
Voted
CISIS
2007
IEEE
14 years 11 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...