2308 search results - page 376 / 462 » Representing Symbolic Reasoning |
159
Voted
FTRTFT
2000
Springer
15 years 9 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
157
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
173
click to vote
CP
1995
Springer
15 years 9 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
158
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
177
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...