Sciweavers

859 search results - page 74 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
MASCOTS
2001
15 years 5 months ago
Packet Reading for Network Emulation
A network emulator, such as the Internet Protocol Traffic and Network Emulator (IP-TNE), enables real applications running on external hosts to interact via a virtual network mode...
Russell Bradford, Rob Simmonds, Brian Unger
125
Voted
CADE
2010
Springer
15 years 5 months ago
iProver-Eq: An Instantiation-Based Theorem Prover with Equality
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
Konstantin Korovin, Christoph Sticksel

Source Code
2231views
16 years 10 months ago
The Berkeley Segmentation Engine (BSE)
The code is a (good, in my opinion) implementation of a segmentation engine based on normalised cuts (a spectral clustering algorithm) and a pixel affinity matrix calculation algor...
Charless Fowlkes
CHI
2009
ACM
16 years 5 months ago
Graspables: grasp-recognition as a user interface
The Graspables project is an exploration of how measuring the way people hold and manipulate objects can be used as a user interface. As computational ability continues to be impl...
Brandon T. Taylor, V. Michael Bove Jr.
CSB
2005
IEEE
139views Bioinformatics» more  CSB 2005»
15 years 10 months ago
Open Microscopy Environment
High-throughput scoring of image-based biological assays heavily depends on the extraction of quantitative numerical information from microscopy images. This paper describes how t...
Ilya G. Goldberg