3394 search results - page 241 / 679 » Regular Object Types |
191
click to vote
APPT
2005
Springer
15 years 8 months ago
2005
Springer
It is difficult to maintain the exact location of mobile objects due to the limited resources in a mobile network. A consequence of this problem is that the update cost for a locat...
162
click to vote
IJCAI
2007
15 years 8 months ago
2007
ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete ...
182
click to vote
BTW
2009
Springer
15 years 7 months ago
2009
Springer
: Similarity search and data mining on time series databases has recently attracted much attention. In this paper, we represent a data object by several time series-valued attribut...
209
click to vote
ECOOP
2008
Springer
15 years 7 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
187
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...