1449 search results - page 167 / 290 » Finiteness results for sigmoidal |
142
click to vote
IADIS
2003
15 years 7 months ago
2003
With the growth of the Internet, the choice of B2B e-commerce formats has expanded from Electronic Data Interchange (EDI) to a range of internet-based channels, such as e-marketpl...
166
click to vote
WSS
2001
15 years 7 months ago
2001
We investigate a new property of computing systems called weak stabilization. Although this property is strictly weaker than the well-known property of stabilization, weak stabiliz...
153
click to vote
WSC
1998
15 years 7 months ago
1998
The search problem, ACCESSIBILITY, asks whether a finite sequence of events can be found such that, starting with a specific initial event, a particular state can be reached. This...
171
click to vote
IJCAI
1989
15 years 7 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
165
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...