Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
18429
search results - page 356 / 3686
»
Typing dynamic typing
Sort
relevance
views
votes
recent
update
View
thumb
title
112
click to vote
DSL
1997
82
views
Programming Languages
»
more
DSL 1997
»
A Slicing-Based Approach for Locating Type Errors
15 years 8 months ago
Download
www.usenix.org
T. B. Dinesh, Frank Tip
claim paper
Read More »
140
Voted
DSL
1997
88
views
Programming Languages
»
more
DSL 1997
»
Typed Common Intermediate Format
15 years 8 months ago
Download
www.usenix.org
Zhong Shao
claim paper
Read More »
120
click to vote
IJCAI
1997
110
views
Artificial Intelligence
»
more
IJCAI 1997
»
RHB+: A Type-Oriented ILP System Learning from Positive Data
15 years 8 months ago
Download
dli.iiit.ac.in
Yutaka Sasaki, Masahiko Haruno
claim paper
Read More »
178
click to vote
EACL
1993
ACL Anthology
99
views
Natural Language Processing
»
more
EACL 1993
»
Type-Driven Semantic Interpretation of f-Structures
15 years 8 months ago
Download
acl.ldc.upenn.edu
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
Jürgen Wedekind, Ronald M. Kaplan
claim paper
Read More »
107
click to vote
COLING
1994
74
views
Computational Linguistics
»
more
COLING 1994
»
The Correct And Efficient Implementation Of Appropriateness Specifications For Typed Feature Structures
15 years 8 months ago
Download
acl.ldc.upenn.edu
Dale Gerdemann, Paul John King
claim paper
Read More »
« Prev
« First
page 356 / 3686
Last »
Next »