Sciweavers

5510 search results - page 101 / 1102
» Mathematics
Sort
View
TYPES
2007
Springer
15 years 9 months ago
Working with Mathematical Structures in Type Theory
Claudio Sacerdoti Coen, Enrico Tassi
61
Voted
ISCAS
2006
IEEE
107views Hardware» more  ISCAS 2006»
15 years 9 months ago
Impulse noise detector using mathematical morphology
Y. Ito, T. Sato, Noritaka Yamashita, Jianming Lu, ...
SYNASC
2006
IEEE
67views Algorithms» more  SYNASC 2006»
15 years 9 months ago
Mathematical Theory Exploration
Bruno Buchberger
BIRTHDAY
2005
Springer
15 years 9 months ago
Mathematical Foundations of Answer Set Programming
Paolo Ferraris, Vladimir Lifschitz
EUROCAST
2005
Springer
104views Hardware» more  EUROCAST 2005»
15 years 9 months ago
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
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 ...