2701 search results - page 32 / 541 » On the form of witness terms |
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
DAWAK
2007
Springer
15 years 3 months ago
2007
Springer
In association rules mining, current trend is witnessing the emergence of a growing number of works toward bringing negative items to light in the mined knowledge. However, the amo...
107
click to vote
GIS
2008
ACM
15 years 27 days ago
2008
ACM
With the growth of wireless and mobile technologies, we are witnessing an increase in location-based services (LBS). Although LBS provide enhanced functionalities, they open up ne...
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
PLANX
2008
15 years 1 months ago
2008
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...