Sciweavers

5510 search results - page 106 / 1102
» Mathematics
Sort
View
96
Voted
ICDAR
1999
IEEE
15 years 7 months ago
EXTRAFOR: Automatic EXTRAction of Mathematical FORmulas
Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed
97
Voted
HYBRID
1999
Springer
15 years 7 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari
97
Voted
IPPS
1998
IEEE
15 years 7 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 7 months ago
An Easily Extensible Toolset for Tabular Mathematical Expressions
David Lorge Parnas, Dennis K. Peters
132
Voted
MICCAI
1998
Springer
15 years 7 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...