425 search results - page 16 / 85 » Homothetic interval orders |
RV
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
104
Voted
AISC
2004
Springer
15 years 3 months ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
78
Voted
ENTER
2006
Springer
15 years 1 months ago
2006
Springer
Website evaluation methods are an important tool to gather information for the development and the management of a website in order to ensure a good acceptance by the users. Mainl...
WILF
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...