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
72
search results - page 3 / 15
»
cai 2009
Sort
relevance
views
votes
recent
update
View
thumb
title
92
click to vote
CLUSTER
2009
IEEE
154
views
Distributed And Parallel Com...
»
more
CLUSTER 2009
»
DCR: A fully transparent checkpoint/restart framework for distributed systems
15 years 10 months ago
Download
www.cluster2009.org
Can Ma, Zhigang Huo, Jingnan Cai, Dan Meng
claim paper
Read More »
95
Voted
SIGSOFT
2009
ACM
138
views
Software Engineering
»
more
SIGSOFT 2009
»
Api hyperlinking via structural overlap
16 years 4 months ago
Download
pdos.csail.mit.edu
Fan Long, Xi Wang, Yang Cai
claim paper
Read More »
105
click to vote
APLAS
2009
ACM
116
views
Programming Languages
»
more
APLAS 2009
»
Weak updates and separation logic
15 years 10 months ago
Download
www.cse.lehigh.edu
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
claim paper
Read More »
94
Voted
ATAL
2009
Springer
129
views
Intelligent Agents
»
more
ATAL 2009
»
Emotional agent in serious game (DINO)
15 years 10 months ago
Download
www.ifaamas.org
H. L. Zhang, Z. Shen, X. Tao, C. Y. Miao, B. Li, A...
claim paper
Read More »
146
click to vote
CAI
2009
Springer
136
views
Information Technology
»
more
CAI 2009
»
A Backward and a Forward Simulation for Weighted Tree Automata
15 years 10 months ago
Download
wwwtcs.inf.tu-dresden.de
Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two type...
Andreas Maletti
claim paper
Read More »
« Prev
« First
page 3 / 15
Last »
Next »