Sciweavers

1991 search results - page 257 / 399
» Using a Coding Standard to Improve Program Quality
Sort
View
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
15 years 7 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
CVPR
2003
IEEE
15 years 7 months ago
Graph-Theoretic Approach to Clustering and Segmentation
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...
Massimiliano Pavan, Marcello Pelillo
BIB
2006
150views more  BIB 2006»
15 years 1 months ago
Open source tools and toolkits for bioinformatics: significance, and where are we?
This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
Jason E. Stajich, Hilmar Lapp
ICUMT
2009
14 years 11 months ago
Extending middleware frameworks for Wireless Sensor Networks
We define sensor middleware as the binding code mainly running between the sensor OS and applications g programming abstractions to bridge the gap between application developers an...
Syed Rehan Afzal, Christophe Huygens, Wouter Joose...
85
Voted
ICLP
2010
Springer
15 years 5 months ago
Implementation Alternatives for Bottom-Up Evaluation
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
Stefan Brass