Sciweavers

10890 search results - page 148 / 2178
» Automatic Complexity Analysis
Sort
View
ICCS
2010
Springer
15 years 7 months ago
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks
We present a method for automatically creating large-scale semantic networks from natural language text, based on deep semantic analysis. We provide a robust and scalable implement...
Pia-Ramona Wojtinnek, Brian Harrington, Sebastian ...
ACL
2009
15 years 4 months ago
The Lie Detector: Explorations in the Automatic Recognition of Deceptive Language
In this paper, we present initial experiments in the recognition of deceptive language. We introduce three data sets of true and lying texts collected for this purpose, and we sho...
Rada Mihalcea, Carlo Strapparava
SEFM
2006
IEEE
16 years 11 days ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
DATE
2005
IEEE
116views Hardware» more  DATE 2005»
16 years 5 hour ago
FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
Ilya Issenin, Nikil D. Dutt
SEC
2000
15 years 7 months ago
Improving Packet Filters Management through Automatic and Dynamic Schemes
: The development of complex access control architectures raises the problem of their management. In this article, we describe an architecture providing packet filters configuratio...
Olivier Paul, Maryline Laurent