Sciweavers

5510 search results - page 106 / 1102
» Mathematics
Sort
View
ICDAR
1999
IEEE
15 years 10 months ago
EXTRAFOR: Automatic EXTRAction of Mathematical FORmulas
Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed
HYBRID
1999
Springer
15 years 10 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari
IPPS
1998
IEEE
15 years 10 months ago
A Mathematical Benefit Analysis of Context Switching Reconfigurable Computing
Dynamicreconfigurationoffieldprogrammablegatearrays(FPGAs)hasrecentlyemergedasthenextstepinreconfigurable computing. Sanders,ALockheedMartinCompany,isdevelopingtheenablingtechnolo...
Stephen M. Scalera, John J. Murray, Steve Lease
TACAS
1999
Springer
109views Algorithms» more  TACAS 1999»
15 years 10 months ago
An Easily Extensible Toolset for Tabular Mathematical Expressions
David Lorge Parnas, Dennis K. Peters
MICCAI
1998
Springer
15 years 10 months ago
Robust Brain Segmentation Using Histogram Scale-Space Analysis and Mathematical Morphology
Abstract. In this paper, we propose a robust fully non-supervised method dedicated to the segmentation of the brain in T1-weighted MR images. The first step consists in the analysi...
Jean-Francois Mangin, Olivier Coulon, Vincent Frou...