Sciweavers

199 search results - page 29 / 40
» Higher-Order Critical Pairs
Sort
View
ROOM
2000
13 years 9 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 ...
JSAC
2008
121views more  JSAC 2008»
13 years 7 months ago
Network Coding Games with Unicast Flows
Abstract--To implement network coding, users need to coordinate and cooperate with respect to their strategies in terms of duplicating and transmitting side information across spec...
Jennifer Price, Tara Javidi
PAMI
2006
191views more  PAMI 2006»
13 years 7 months ago
Principal Axis-Based Correspondence between Multiple Cameras for People Tracking
Visual surveillance using multiple cameras has attracted increasing interest in recent years. Correspondence between multiple cameras is one of the most important and basic problem...
Weiming Hu, Min Hu, Xue Zhou, Tieniu Tan, Jianguan...
IJON
2007
88views more  IJON 2007»
13 years 7 months ago
Self-organisation can generate the discontinuities in the somatosensory map
The primary somatosensory cortex contains a topographic map of the body surface, with two notable discontinuities — the representation of the face is next to that of the hands, ...
Tom Stafford, Stuart P. Wilson
CORR
2010
Springer
129views Education» more  CORR 2010»
13 years 7 months ago
Understanding periodicity and regularity of nodal encounters in mobile networks: A spectral analysis
Abstract--Study on human mobility is gaining increasing attention from the research community with its multiple applications to use in mobile networks, particularly for the purpose...
Sungwook Moon, Ahmed Helmy