4978 search results - page 130 / 996 » Logical models of argument |
160
click to vote
ENTCS
2006
15 years 3 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
163
Voted
ADBIS
2004
Springer
15 years 9 months ago
2004
Springer
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
131
click to vote
EMNLP
2006
15 years 5 months ago
2006
This paper demonstrates how unsupervised techniques can be used to learn models of deep linguistic structure. Determining the semantic roles of a verb's dependents is an impo...
122
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
We define a robust fault model as a model where the existence of an undetectable fault implies the existence of logic redundancy, or more generally, a suboptimality in the synthe...
174
click to vote
SPLC
2007
15 years 5 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...