Sciweavers

10568 search results - page 104 / 2114
» Computer Intelligence and Formalization
Sort
View
ECEASST
2010
14 years 12 months ago
On A Graph Formalism for Ordered Edges
Maarten de Mol, Arend Rensink
AAAI
2010
15 years 4 months ago
A Novel Transition Based Encoding Scheme for Planning as Satisfiability
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
Ruoyun Huang, Yixin Chen, Weixiong Zhang
135
Voted
ATAL
2003
Springer
15 years 6 months ago
Posit spaces: a performative model of e-commerce
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
Peter McBurney, Simon Parsons
107
Voted
FLAIRS
2007
15 years 5 months ago
Using Phrasal Verbs as an Index to Distinguish Text Genres
Previous studies have shown that text genres can be computationally distinguished by sophisticated computational and statistical methods. The current study adds to the previous bo...
Kyle B. Dempsey, Philip M. McCarthy, Danielle S. M...