Sciweavers

859 search results - page 74 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
MASCOTS
2001
15 years 8 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
CADE
2010
Springer
15 years 7 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
17 years 5 days 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 7 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»
16 years 6 days 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