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
9507
search results - page 246 / 1902
»
Time-based language models
Sort
relevance
views
votes
recent
update
View
thumb
title
126
click to vote
FM
2009
Springer
127
views
Formal Methods
»
more
FM 2009
»
Automated Property Verification for Large Scale B Models
16 years 1 months ago
Download
www.bmethod.com
Michael Leuschel, Jérôme Falampin, Fa...
claim paper
Read More »
158
click to vote
ICMT
2009
Springer
106
views
Theoretical Computer Science
»
more
ICMT 2009
»
Efficient Model Transformations by Combining Pattern Matching Strategies
16 years 1 months ago
Download
home.mit.bme.hu
Gábor Bergmann, Ákos Horváth,...
claim paper
Read More »
152
click to vote
CP
2007
Springer
103
views
Artificial Intelligence
»
more
CP 2007
»
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
16 years 1 months ago
Download
4c.ucc.ie
Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
claim paper
Read More »
126
click to vote
IFIP
2007
Springer
109
views
Programming Languages
»
more
IFIP 2007
»
Improving Service Operation Performance by a Cross-Industry Reference Model
16 years 1 months ago
Download
www.icbe.ie
Peter Osadsky, Amit Garg, Bogdan Nitu, Oliver Schn...
claim paper
Read More »
132
click to vote
UM
2007
Springer
106
views
Programming Languages
»
more
UM 2007
»
Web Customer Modeling for Automated Session Prioritization on High Traffic Sites
16 years 1 months ago
Download
personals.ac.upc.edu
Nicolás Poggi, Toni Moreno, Josep Lluis Ber...
claim paper
Read More »
« Prev
« First
page 246 / 1902
Last »
Next »
