1413 search results - page 67 / 283 » Bisimilarity of Open Terms |
101
click to vote
OSS
2007
Springer
15 years 7 months ago
2007
Springer
Some free software and open source projects have been extremely successful in the past. The success of a project is often related to the number of developers it can attract: a larg...
132
Voted
JMIV
1998
15 years 14 days ago
1998
Classically, connectivity is a topological notion for sets, often introduced by means of arcs. A non topological axiomatics has been proposed by Matheron and Serra. The present pa...
107
click to vote
MST
2007
15 years 10 days ago
2007
Important variants of the Vertex Cover problem (among others, Connected Vertex Cover, Capacitated Vertex Cover, and Maximum Partial Vertex Cover) have been intensively studied in ...
102
click to vote
IWPSE
2010
IEEE
14 years 10 months ago
2010
IEEE
FOSS (Free and Open Source System) is repeatedly modied and reused by other FOSS or proprietary software systems. They are released to others under specic licenses whose terms and...
111
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...