Sciweavers

938 search results - page 59 / 188
» Mathematical Modelling the Ethnic System
Sort
View
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 5 months ago
Does intelligence imply contradiction?
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
Patrizio Frosini
PET
2004
Springer
15 years 11 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
FCT
1999
Springer
15 years 10 months ago
Tile Transition Systems as Structured Coalgebras
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
Andrea Corradini, Reiko Heckel, Ugo Montanari
126
Voted
ICRA
2005
IEEE
135views Robotics» more  ICRA 2005»
15 years 11 months ago
RoboTrikke: A Novel Undulatory Locomotion System
— In this paper we present a mathematical model of the TRIKKE, a human-powered scooter produced by Trikke Tech Inc. The Trikke is a three-wheeled, single-rider vehicle that can b...
Sachin Chitta, Peng Cheng, Emilio Frazzoli, Vijay ...
142
Voted
EURODAC
1994
IEEE
163views VHDL» more  EURODAC 1994»
15 years 9 months ago
VHDL and cyclic corrector codes
Cyclic corrector codes, or "block codes", are often used in telecommunications systems. To facilitate the design of coding/decoding circuits using this type of code, we ...
France Mendez