3233 search results - page 194 / 647 » Rule Modeling and Markup |
135
click to vote
RML
2002
15 years 4 months ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
128
click to vote
HCI
2009
15 years 2 months ago
2009
This work presents the design and implementation of the DocEmoX system for the automated typography-derived emotional extraction and annotation of printed and electronic documents....
101
Voted
JMLR
2011
14 years 11 months ago
2011
This paper describes a Bayesian approximation method to obtain online ranking algorithms for games with multiple teams and multiple players. Recently for Internet games large onli...
177
Voted
NC
2011
14 years 11 months ago
2011
We consider recognizer P systems having three polarizations associated to the membranes, and we show that they are able to solve the PSPACEcomplete problem Quantified 3SAT when wo...
165
click to vote
JAR
2010
14 years 11 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...