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
5510
search results - page 101 / 1102
»
Mathematics
Sort
relevance
views
votes
recent
update
View
thumb
title
105
click to vote
TYPES
2007
Springer
158
views
Formal Methods
»
more
TYPES 2007
»
Working with Mathematical Structures in Type Theory
15 years 9 months ago
Download
www.cs.unibo.it
Claudio Sacerdoti Coen, Enrico Tassi
claim paper
Read More »
61
Voted
ISCAS
2006
IEEE
107
views
Hardware
»
more
ISCAS 2006
»
Impulse noise detector using mathematical morphology
15 years 9 months ago
Download
www.s-lab.nd.chiba-u.jp
Y. Ito, T. Sato, Noritaka Yamashita, Jianming Lu, ...
claim paper
Read More »
94
click to vote
SYNASC
2006
IEEE
67
views
Algorithms
»
more
SYNASC 2006
»
Mathematical Theory Exploration
15 years 9 months ago
Download
www.easychair.org
Bruno Buchberger
claim paper
Read More »
89
click to vote
BIRTHDAY
2005
Springer
90
views
Applied Computing
»
more
BIRTHDAY 2005
»
Mathematical Foundations of Answer Set Programming
15 years 9 months ago
Download
www.krlab.cs.ttu.edu
Paolo Ferraris, Vladimir Lifschitz
claim paper
Read More »
138
click to vote
EUROCAST
2005
Springer
104
views
Hardware
»
more
EUROCAST 2005
»
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
15 years 9 months ago
Download
carpe.usal.es
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
Roberto Therón, Vidal Moreno, Belén ...
claim paper
Read More »
« Prev
« First
page 101 / 1102
Last »
Next »