7890 search results - page 17 / 1578 » The MathSAT 3 System |
TREC
1994
13 years 10 months ago
1994
: This paper describes an approach to information retrieval based on a syntactic analysis of the document texts and user queries, and from that analysis, the construction of tree s...
APVIS
2004
13 years 10 months ago
2004
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...
WSC
1997
13 years 10 months ago
1997
The role of modeling and simulation is receiving much press of late. However, the lack of practice in employing a link between the two is alarming. A static model is used to under...
SCL
2010
13 years 7 months ago
2010
This paper is concerned with the analysis of a singularity that can occur in threedimensional discontinuous feedback control systems. The singularity is the two-fold – a tangenc...
JCIT
2008
13 years 8 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...