2517 search results - page 272 / 504 » Specifying Weak Sets |
175
click to vote
CN
2002
15 years 6 months ago
2002
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
117
Voted
COLING
2002
15 years 6 months ago
2002
Many recent statistical parsers rely on a preprocessing step which uses hand-written, corpus-specific rules to augment the training data with extra information. For example, head-...
161
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
174
click to vote
JLP
2000
15 years 6 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
190
click to vote
JSC
2000
15 years 6 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...