Sciweavers

859 search results - page 68 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
143
Voted
CBSE
2008
Springer
15 years 6 months ago
Automating Performance Analysis from Taverna Workflows
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
Rafael Tolosana-Calasanz, Omer F. Rana, José...
134
Voted
TAP
2008
Springer
144views Hardware» more  TAP 2008»
15 years 4 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
LREC
2008
95views Education» more  LREC 2008»
15 years 6 months ago
Analysis and Performance of Morphological Query Expansion and Language-Filtering Words on Basque Web Searching
Morphological query expansion and language-filtering words have proved to be valid methods when searching the web for content in Basque via APIs of commercial search engines, as t...
Igor Leturia, Antton Gurrutxaga, Nerea Areta, Eli ...
153
Voted
SARA
2009
Springer
15 years 11 months ago
Some Interval Approximation Techniques for MINLP
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
Nicolas Berger, Laurent Granvilliers
COGSR
2011
99views more  COGSR 2011»
14 years 11 months ago
A biologically realistic cleanup memory: Autoassociation in spiking neurons
Methods for cleaning up (or recognizing) states of a neural network are crucial for the functioning of many neural cognitive models. For example, Vector Symbolic Architectures pro...
Terrence C. Stewart, Yichuan Tang, Chris Eliasmith