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
53327
search results - page 340 / 10666
»
is 2007
Sort
relevance
views
votes
recent
update
View
thumb
title
154
click to vote
FMOODS
2003
108
views
Formal Methods
»
more
FMOODS 2003
»
A Calculus for Long-Running Transactions
15 years 8 months ago
Download
www.cs.unibo.it
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
claim paper
Read More »
177
click to vote
FMOODS
2003
129
views
Formal Methods
»
more
FMOODS 2003
»
Engineering the SDL Formal Language Definition
15 years 8 months ago
Download
www.iis.nsk.su
Andreas Prinz, Martin von Löwis
claim paper
Read More »
165
click to vote
FORTE
2003
105
views
Formal Methods
»
more
FORTE 2003
»
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
15 years 8 months ago
Download
mtc.epfl.ch
Dirk Beyer, Andreas Noack
claim paper
Read More »
168
click to vote
GEOINFO
2003
116
views
Information Technology
»
more
GEOINFO 2003
»
Explorando a Multidimensionalidade da Kd -Tree para Suporte a Temporalidade em Dados Espaciais Vetoriais do Tipo Ponto
15 years 8 months ago
Download
www.inf.ufrgs.br
Leonardo Rodriguez Heredia, Cirano Iochpe, Jo&atil...
claim paper
Read More »
123
click to vote
NIPS
2004
77
views
Information Technology
»
more
NIPS 2004
»
Generalization Error and Algorithmic Convergence of Median Boosting
15 years 8 months ago
Download
books.nips.cc
Balázs Kégl
claim paper
Read More »
« Prev
« First
page 340 / 10666
Last »
Next »
