3742 search results - page 737 / 749 » On the Use of Formal Techniques for Validation |
134
click to vote
JCIT
2007
15 years 1 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
124
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Users of the web are increasingly interested in tracking the appearance of new postings rather than locating existing knowledge. Coupled with this is the emergence of the Web 2.0 ...
135
click to vote
WSDM
2012
ACM
13 years 9 months ago
2012
ACM
The phenomenal growth in the volume of easily accessible information via various web-based services has made it essential for service providers to provide users with personalized ...
156
click to vote
ICDE
2012
IEEE
13 years 4 months ago
2012
IEEE
—Dimensionality reduction is essential in text mining since the dimensionality of text documents could easily reach several tens of thousands. Most recent efforts on dimensionali...
138
click to vote
TOG
2012
13 years 4 months ago
2012
We present a technique for performing high-dimensional filtering of images and videos in real time. Our approach produces high-quality results and accelerates filtering by compu...