6549 search results - page 82 / 1310 » Parsimonious additive models |
132
click to vote
ACL
2012
13 years 6 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...
124
click to vote
CADE
2006
Springer
16 years 4 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...
158
click to vote
PODS
2002
ACM
16 years 4 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...
120
click to vote
MFCS
2009
Springer
15 years 11 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...
106
click to vote
HICSS
2007
IEEE
15 years 10 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...