10055 search results - page 371 / 2011 » Structured programming using processes |
111
Voted
ICSE
2004
IEEE-ACM
16 years 26 days ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
DSL
2009
14 years 10 months ago
2009
Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe that both their program's parameterization and t...
115
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a nonparametric extension to the factor analysis problem using a beta process prior. This beta process factor analysis (BPFA) model allows for a dataset to be decompose...
108
Voted
IMR
2004
Springer
15 years 6 months ago
2004
Springer
We introduce an indexing scheme for the vertices of semi-regular meshes, based on interleaving quadtrees rooted on the edges of the base mesh. Using this indexing scheme we develo...
105
click to vote
DAGM
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We present a new method to simultaneously estimate optical flow fields and parameters of dynamic processes, violating the standard brightness change constraint equation...