Sciweavers

22864 search results - page 370 / 4573
» An Integrated and
Sort
View
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 6 months ago
sTeXIDE: An Integrated Development Environment for sTeX Collections
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
Constantin Jucovschi, Michael Kohlhase
129
Voted
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 6 months ago
An Integrated Circuit Compatible Compact Package for Thermal Gas Flowmeters
An original packaging method suitable for integrated thermal mass flow sensors is presented. The method consists in the application of a plastic transparent adapter to the chip su...
P. Bruschi, V. Nurra, M. Piotto
SAB
2010
Springer
135views Optimization» more  SAB 2010»
15 years 5 months ago
An Integrated Neuromimetic Model of the Saccadic Eye Movements for the Psikharpax Robot
Abstract. We propose an integrated model of the saccadic circuitry involved in target selection and motor command. It includes the Superior Colliculus and the Basal Ganglia in both...
Steve N'Guyen, Patrick Pirim, Jean-Arcady Meyer, B...
SIGSOFT
2010
ACM
15 years 5 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
TGIS
2010
80views more  TGIS 2010»
15 years 5 months ago
The Space Package: Tight Integration between Space and Semantics
Interpretation of spatial features often requires combined reasoning over geometry and semantics. We introduce the Space package, an open source SWI-Prolog extension that provides ...
Willem Robert van Hage, Jan Wielemaker, Guus Schre...