Sciweavers

4488 search results - page 244 / 898
» Properties of NP-Complete Sets
Sort
View
JGT
2007
112views more  JGT 2007»
15 years 6 months ago
The 2-dimensional rigidity of certain families of graphs
Laman’s characterization of minimally rigid 2-dimensional generic frameworks gives a matroid structure on the edge set of the underlying graph, as was first pointed out and expl...
Bill Jackson, Brigitte Servatius, Herman Servatius
TOPNOC
2008
15 years 6 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
AROBOTS
2002
121views more  AROBOTS 2002»
15 years 6 months ago
Theory of Mind for a Humanoid Robot
If we are to build human-like robots that can interact naturally with people, our robots must know not only about the properties of objects but also the properties of animate agent...
Brian Scassellati
AUTOMATICA
2002
81views more  AUTOMATICA 2002»
15 years 6 months ago
A convex approach to the characterization of the frequency response of ellipsoidal plants
This paper deals with the frequency domain properties of an ellipsoidal family of rational functions, i.e. a family of rational functions whose coefficients depend affinely on an ...
Graziano Chesi, Andrea Garulli, Alberto Tesi, Anto...
CORR
2004
Springer
87views Education» more  CORR 2004»
15 years 6 months ago
Roles Are Really Great!
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
Viktor Kuncak, Patrick Lam, Martin C. Rinard