Sciweavers

2086 search results - page 35 / 418
» Mathematical Theory Exploration
Sort
View
RTSS
2003
IEEE
14 years 1 months ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
FECS
2006
159views Education» more  FECS 2006»
13 years 10 months ago
Evolving Mathematical Functions with Genetic Algorithms - A Team Project on Artificial Intelligence
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
Zhiguang Xu, Chris Neasbitt, Jared Summers, Bill C...
AROBOTS
2002
93views more  AROBOTS 2002»
13 years 8 months ago
Mathematical Model of Foraging in a Group of Robots: Effect of Interference
Abstract. In multi-robot applications, such as foraging or collection tasks, interference, which results from competition for space between spatially extended robots, can significa...
Kristina Lerman, Aram Galstyan
KAIS
2000
86views more  KAIS 2000»
13 years 8 months ago
A Mathematical Foundation for Improved Reduct Generation in Information Systems
When data sets are analyzed, statistical pattern recognition is often used to find the information hidden in the data. Another approach to information discovery is data mining. Dat...
Janusz A. Starzyk, Dale E. Nelson, Kirk Sturtz
SIAMAM
2000
79views more  SIAMAM 2000»
13 years 8 months ago
A Mathematical Model for Spatially Varying Extracellular Matrix Alignment
Orientation of extracellular matrix fibers in the skin is a key ingredient of tissue appearance and function, and differences in fiber alignment are one of the main distinctions be...
John C. Dallon, Jonathan A. Sherratt