1318 search results - page 140 / 264 » The formal semantics of the timeER model |
180
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
181
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
176
click to vote
JUCS
2008
15 years 6 months ago
2008
: Web searching techniques have been investigated and implemented in many aspects. Particularly, in case of personalization, more important issue is how to manipulate the results r...
177
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
154
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...