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
2163
search results - page 6 / 433
»
cases 2004
Sort
relevance
views
votes
recent
update
View
thumb
title
100
click to vote
LPNMR
2004
Springer
69
views
Automated Reasoning
»
more
LPNMR 2004
»
Verifying the Equivalence of Logic Programs in the Disjunctive Case
15 years 9 months ago
Download
www.tcs.hut.fi
Emilia Oikarinen, Tomi Janhunen
claim paper
Read More »
122
click to vote
SAMOS
2004
Springer
76
views
Embedded Systems
»
more
SAMOS 2004
»
IDF Models for Trace Transformations: A Case Study in Computational Refinement
15 years 9 months ago
Download
sesamesim.sourceforge.net
Cagkan Erbas, Simon Polstra, Andy D. Pimentel
claim paper
Read More »
101
click to vote
ASWEC
2004
IEEE
103
views
Software Engineering
»
more
ASWEC 2004
»
Generating Web Applications from Use Case Scenarios
15 years 7 months ago
Download
liris.cnrs.fr
Allan Loh, Mike Robey
claim paper
Read More »
104
click to vote
ECRTS
2004
IEEE
95
views
Embedded Systems
»
more
ECRTS 2004
»
Worst-Case Execution Time Analysis for Dynamic Branch Predictors
15 years 7 months ago
Download
www.cs.york.ac.uk
Iain Bate, Ralf Reutemann
claim paper
Read More »
91
Voted
AAAI
2004
122
views
Intelligent Agents
»
more
AAAI 2004
»
CaBMA: Case-Based Project Management Assistant
15 years 5 months ago
Download
www.cse.lehigh.edu
Ke Xu, Héctor Muñoz-Avila
claim paper
Read More »
« Prev
« First
page 6 / 433
Last »
Next »