Sciweavers

6978 search results - page 257 / 1396
» On Proofs in System P
Sort
View
GECCO
2007
Springer
156views Optimization» more  GECCO 2007»
16 years 24 days ago
An abstraction-based genetic programming system
Franck Binard, Amy P. Felty
ISSAC
2007
Springer
111views Mathematics» more  ISSAC 2007»
16 years 24 days ago
On the complexity of real solving bivariate systems
Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P....
IPCCC
2006
IEEE
16 years 20 days ago
Data replication in collaborative sensor network systems
Denis Gracanin, Kevin P. Adams, Mohamed Eltoweissy
BPM
2005
Springer
73views Business» more  BPM 2005»
16 years 5 days ago
A Human-Oriented Tuning of Workflow Management Systems
Irene T. P. Vanderfeesten, Hajo A. Reijers