Sciweavers

1390 search results - page 167 / 278
» On the Algebraic Structure of Convergence
Sort
View
SODA
2008
ACM
112views Algorithms» more  SODA 2008»
15 years 8 months ago
The effect of induced subgraphs on quasi-randomness
One of the main questions that arise when studying random and quasi-random structures is which properties P are such that any object that satisfies P "behaves" like a tr...
Asaf Shapira, Raphael Yuster
ROOM
2000
15 years 7 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
ER
2010
Springer
164views Database» more  ER 2010»
15 years 4 months ago
Querying Databases with Taxonomies
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
Davide Martinenghi, Riccardo Torlone
PLDI
2011
ACM
14 years 9 months ago
Data representation synthesis
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
IROS
2008
IEEE
103views Robotics» more  IROS 2008»
16 years 29 days ago
Repetitive grasping with anthropomorphic skin-covered hand enables robust haptic recognition
— Skin is an essential component of artificial hands. It enables the use of object affordance for recognition and control, but due to its intrinsic locality and low density of c...
Shinya Takamuku, Atsushi Fukuda, Koh Hosoda