Sciweavers

537 search results - page 74 / 108
» The development process of the UN CEFACT modeling methodolog...
Sort
View
116
Voted
CHIMIT
2009
ACM
15 years 8 months ago
Scripting practices in complex systems management
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
Eser Kandogan, Paul P. Maglio, Eben M. Haber, John...
ICIAP
2003
ACM
15 years 7 months ago
Towards automatic 3D reconstruction of urban scenes from low-altitude aerial images
We propose a methodology for reconstructing large– scale architectural scenes from low–altitude aerial images, in an efficient, accurate and fully automatic way. Towards this...
Adriano B. Huguet, Rodrigo L. Carceroni, Arnaldo d...
106
Voted
RECOMB
2002
Springer
16 years 2 months ago
A bayesian approach to transcript estimation from gene array data: the BEAM technique
We present a new statistically optimal approach to estimate transcript levels and ratios from one or more gene array experiments. The Bayesian Estimation of Array Measurements (BE...
Ron O. Dror, Jonathan G. Murnick, Nicola A. Rinald...
SDL
2007
192views Hardware» more  SDL 2007»
15 years 3 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
WWW
2007
ACM
16 years 2 months ago
Ontology Maturing: a Collaborative Web 2.0 Approach to Ontology Engineering
Most of the current methodologies for building ontologies rely on specialized knowledge engineers. This is in contrast to real-world settings, where the need for maintenance of do...
Simone Braun, Andreas Schmidt, Andreas Walter, G&a...