1573 search results - page 191 / 315 » Picture Programming Project |
110
click to vote
LPNMR
1990
Springer
15 years 7 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
129
click to vote
ISSTA
2007
ACM
15 years 4 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
116
Voted
IIE
2007
15 years 2 months ago
2007
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
143
click to vote
NAR
2010
14 years 9 months ago
2010
PDBselect (http://bioinfo.tg.fh-giessen.de/pdb select/) is a list of representative protein chains with low mutual sequence identity selected from the protein data bank (PDB) to e...
136
click to vote
ECCV
2006
Springer
16 years 4 months ago
2006
Springer
This paper presents a practical method for finding the provably globally optimal solution to numerous problems in projective geometry including multiview triangulation, camera rese...