3233 search results - page 135 / 647 » Rule Modeling and Markup |
143
Voted
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an a...
152
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
The Online Database of Interlinear Text (ODIN)1 is a database of interlinear text "snippets", harvested mostly from scholarly documents posted to the Web. Although large...
146
click to vote
NGC
1998
Springer
15 years 3 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
159
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
129
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
A swarm algorithm framework (SWAF), realized by agent-based modeling, is presented to solve numerical optimization problems. Each agent is a bare bones cognitive architecture, whic...