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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2722
search results - page 53 / 545
»
Automating Language Evolution
Sort
relevance
views
votes
recent
update
View
thumb
title
89
click to vote
LICS
1993
IEEE
111
views
Automated Reasoning
»
more
LICS 1993
»
Lambek Grammars Are Context Free
15 years 4 months ago
Download
lpcs.math.msu.su
In this paper the Chomsky Conjecture is proved: all languages recognized by the Lambek calculus are context free.
Mati Pentus
claim paper
Read More »
78
click to vote
CE
2008
118
views
more
CE 2008
»
Assessing creative problem-solving with automated text grading
14 years 12 months ago
Download
www3.nccu.edu.tw
The work aims to improve the assessment of creative problem-solving in science education by employing language technologies and computational
Hao-Chuan Wang, Chun-Yen Chang, Tsai-Yen Li
claim paper
Read More »
114
click to vote
UML
2005
Springer
166
views
Natural Language Processing
»
more
UML 2005
»
Transformation-Based Structure Model Evolution
15 years 5 months ago
Download
www.cs.colostate.edu
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
Fabian Büttner
claim paper
Read More »
60
click to vote
FM
2009
Springer
127
views
Formal Methods
»
more
FM 2009
»
Automated Property Verification for Large Scale B Models
15 years 6 months ago
Download
www.bmethod.com
Michael Leuschel, Jérôme Falampin, Fa...
claim paper
Read More »
63
click to vote
UM
2007
Springer
106
views
Programming Languages
»
more
UM 2007
»
Web Customer Modeling for Automated Session Prioritization on High Traffic Sites
15 years 6 months ago
Download
personals.ac.upc.edu
Nicolás Poggi, Toni Moreno, Josep Lluis Ber...
claim paper
Read More »
« Prev
« First
page 53 / 545
Last »
Next »