6549 search results - page 82 / 1310 » Parsimonious additive models |
ACL
2012
11 years 11 months ago
2012
This system demonstration paper presents IRIS (Informal Response Interactive System), a chat-oriented dialogue system based on the vector space model framework. The system belongs...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
PODS
2002
ACM
14 years 9 months ago
2002
ACM
In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations...
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper proposes and validates a theory of physician resistance toward IT usage by drawing on prior research in the resistance to change literature and a recent dual-factor mod...