Sciweavers

814 search results - page 80 / 163
» Analysis of Modular Arithmetic
Sort
View
91
Voted
COLING
1990
14 years 11 months ago
Three Typed Pragmatics for Dialogue Structure Analysis
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
Hitoshi Iida, Takayuki Yamaoka, Hidekazu Arita
ASE
2006
104views more  ASE 2006»
14 years 10 months ago
On the Systematic Analysis of Natural Language Requirements with C
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
Vincenzo Ambriola, Vincenzo Gervasi
ESOP
2011
Springer
14 years 1 months ago
Typing Local Control and State Using Flow Analysis
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
LOPSTR
2007
Springer
15 years 4 months ago
Termination Analysis of Logic Programs Based on Dependency Graphs
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
Manh Thang Nguyen, Jürgen Giesl, Peter Schnei...
DATE
2006
IEEE
135views Hardware» more  DATE 2006»
15 years 4 months ago
FPGA architecture characterization for system level performance analysis
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
Douglas Densmore, Adam Donlin, Alberto L. Sangiova...