9989 search results - page 110 / 1998 » A CLP Approach to Modelling Systems |
125
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The proliferation of retail outlets with nearly identical product offerings and similar costs due to market efficiency means that selecting an appropriate market to open a store i...
121
Voted
FLAIRS
2000
15 years 5 months ago
2000
To reduce the complexity of studying a parallel mechanism for natural language learning and understanding which supports both utterance and discourse processing, we propose a comp...
130
Voted
MTA
2000
15 years 3 months ago
2000
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
123
click to vote
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
157
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...