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
18429
search results - page 305 / 3686
»
Typing dynamic typing
Sort
relevance
views
votes
recent
update
View
thumb
title
150
click to vote
APLAS
2006
ACM
97
views
Programming Languages
»
more
APLAS 2006
»
Type Processing by Constraint Reasoning
16 years 20 days ago
Download
ww2.cs.mu.oz.au
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
claim paper
Read More »
139
click to vote
ETRA
2006
ACM
102
views
Biometrics
»
more
ETRA 2006
»
A comparative usability study of two Japanese gaze typing systems
16 years 20 days ago
Download
www.itu.dk
Kenji Itoh, Hirotaka Aoki, John Paulin Hansen
claim paper
Read More »
98
click to vote
SAC
2006
ACM
110
views
Applied Computing
»
more
SAC 2006
»
Aspect-specification based on structural type information
16 years 19 days ago
Download
www.dmi.unict.it
Stefan Hanenberg, Mohammed Al-Mansari, Rainer Unla...
claim paper
Read More »
107
click to vote
SAC
2006
ACM
91
views
Applied Computing
»
more
SAC 2006
»
Introducing safe unknown types in Java-like languages
16 years 19 days ago
Download
www.disi.unige.it
Giovanni Lagorio, Elena Zucca
claim paper
Read More »
147
click to vote
ANSS
2005
IEEE
112
views
Modeling and Simulation
»
more
ANSS 2005
»
Approximation of Discrete Phase-Type Distributions
16 years 9 days ago
Download
www.sim.ovgu.de
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...
Claudia Isensee, Graham Horton
claim paper
Read More »
« Prev
« First
page 305 / 3686
Last »
Next »