Sciweavers

3145 search results - page 300 / 629
» Algebraic Linear Orderings
Sort
View
FLAIRS
2000
15 years 8 months ago
Domain Semantics for Agent-Oriented Programming
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
Roger Norton, S. Rebecca Thomas
IJCAI
1989
15 years 7 months ago
Plausible Inferencing Using Extended Composition
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...
Michael N. Huhns, Larry M. Stephens
ECEASST
2008
83views more  ECEASST 2008»
15 years 6 months ago
Layered Architecture Consistency for MANETs: Introducing New Team Members
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
ACS
2004
15 years 6 months ago
Pointfree Spectra of Riesz Spaces
One of the best ways of studying ordered algebraic structures is through their spectra. The three well-known spectra usually considered are the Brumfiel, Keimel, and the maximal sp...
M. Mehdi Ebrahimi, A. Karimi, Mojgan Mahmoudi
CORR
2004
Springer
99views Education» more  CORR 2004»
15 years 6 months ago
A class of one-dimensional MDS convolutional codes
A class of one-dimensional convolutional codes will be presented. They are all MDS codes, i. e., have the largest distance among all one-dimensional codes of the same length n and...
Heide Gluesing-Luerssen, Barbara Langfeld