Sciweavers

2774 search results - page 75 / 555
» Exploiting Deep Structure
Sort
View
TLCA
2009
Springer
15 years 6 months ago
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
Lutz Straßburger
FINTAL
2006
15 years 3 months ago
A Computational Implementation of Internally Headed Relative Clause Constructions
The so-called Internally Headed Relative Clause (IHRC) construction found in the head-final languages Korean and Japanese has received little attention from computational perspecti...
Jong-Bok Kim, Peter Sells, Jaehyung Yang
ACL
2006
15 years 1 months ago
Semantic Retrieval for the Accurate Identification of Relational Concepts in Massive Textbases
This paper introduces a novel framework for the accurate retrieval of relational concepts from huge texts. Prior to retrieval, all sentences are annotated with predicate argument ...
Yusuke Miyao, Tomoko Ohta, Katsuya Masuda, Yoshima...
ACE
2003
98views Education» more  ACE 2003»
15 years 1 months ago
Assessing the Assessment: an Empirical Study of an Information Systems Development Subject
Universities need to respond to a change in the mix of student profiles from a majority of the traditional academically committed student to a majority of the students who seek a ...
Hona Box
CORR
2008
Springer
76views Education» more  CORR 2008»
14 years 12 months ago
Design and Fabrication of the Suspended High-Q Spiral Inductors with X-Beams
In this paper, deep sub-micron CMOS process compatible high Q on chip spiral inductors with air gap structure were designed and fabricated. In the design the electromagnetic solve...
M. C. Hsieh, D. K. Jair, Y. K. Fang, C. S. Lin