4095 search results - page 119 / 819 » How to test a tree |
FLAIRS
1998
13 years 11 months ago
1998
Dealingwiththequestionwhetherornota givensystemdoessulllcesomeinterestingpropertyoneisconfrontedwiththeproblem,how tonavigateappropriatelythroughtheavailable knowledgespacetoprove...
RTA
2000
Springer
14 years 1 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...
CIAC
2010
Springer
14 years 1 months ago
2010
Springer
Various forms of multicut problems are of great importance in the area of network design. In general, these problems are intractable. However, several parameters have been identifi...
ACL
2007
13 years 11 months ago
2007
Surface realisers divide into those used in generation (NLG geared realisers) and those mirroring the parsing process (Reversible realisers). While the first rely on grammars not...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
In this paper, we introduce an implementation for detailed monitoring of user actions on web pages. It addresses the problem that the log data recorded by standard web servers is ...