To support the Internet's explosive growth and expansion into a true integrated services network, there is a need for cost-effective switching technologies that can simultaneo...
Solids of revolution (vases, bottles, bells, . . .), shortly SORs, are very common objects in man-made environments. We present a complete framework for 3D database population from...
Carlo Colombo, Dario Comanducci, Alberto Del Bimbo...
Role-based collaboration (RBC) is proposed to support people’s collaboration with more usable human-computer interfaces. To approach the objectives of RBC, new practical tools a...
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...