2474 search results - page 339 / 495 » Solving Problems on Parallel Computers by Cellular Programmi... |
141
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider a new discriminative learning approach to sequence labeling based on the statistical concept of the Z-score. Given a training set of pairs of hidden-observed ...
167
click to vote
IAT
2003
IEEE
15 years 10 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
122
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
130
Voted
WSC
2004
15 years 6 months ago
2004
GoldSim is a powerful and flexible Windows-based computer program for carrying out probabilistic simulations of complex systems to support management and decisionmaking in enginee...
181
click to vote
TACAS
2012
Springer
14 years 17 days ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...