Sciweavers

2741 search results - page 239 / 549
» Engineering Mathematical Knowledge
Sort
View
FSTTCS
2008
Springer
15 years 4 months ago
3-connected Planar Graph Isomorphism is in Log-space
We consider the isomorphism and canonization problem for 3-connected planar graphs. The problem was known to be L -hard and in UL ∩ coUL [TW08]. In this paper, we give a determin...
Samir Datta, Nutan Limaye, Prajakta Nimbhorkar
99
Voted
JOT
2008
62views more  JOT 2008»
15 years 3 months ago
An Increase In Value
Value is not always created as explicitly or as tangibly as with a product that benefits its user and its creator. Increasingly, value emerges from a set of activities and the kno...
John McGregor
111
Voted
RE
2006
Springer
15 years 3 months ago
Towards a Reference Framework for Software Product Management
In the last decade, software product management has received much practical attention, though research in this area is still scattered. In this paper, we present a reference frame...
Inge van de Weerd, Sjaak Brinkkemper, Richard Nieu...
111
Voted
CLEIEJ
2004
94views more  CLEIEJ 2004»
15 years 3 months ago
An ontology-based technique for the specification of domain and user models in multi-agent domain
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
Rosario Girardi, Carla Gomes de Faria
142
Voted
FOSSACS
2011
Springer
14 years 7 months ago
Ordinal Theory for Expressiveness of Well Structured Transition Systems
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
Rémi Bonnet, Alain Finkel, Serge Haddad, Fe...