1086 search results - page 118 / 218 » Points surrounding the origin |
ACS
2006
15 years 1 months ago
2006
We have introduced, in a previous paper, the fundamental lax 2-category of a `directed space' X. Here we show that, when X has a T1-topology, this structure can be embedded i...
117
click to vote
FAC
2008
15 years 1 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
110
Voted
FSS
2008
15 years 1 months ago
2008
Although as such one dates back the idea of setting the area of soft computing to 1990, it was in 1994 that L.A. Zadeh established his worldwide accepted definition of soft comput...
IJBC
2008
15 years 1 months ago
2008
In this work we study some properties associated with the bordercollision bifurcations in a two-dimensional piecewise linear map in canonical form, related to the case in which a ...
130
click to vote
ENTCS
2006
15 years 1 months ago
2006
Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a n...