672 search results - page 40 / 135 » On the Expressive Power of the Loop Language |
128
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
Most image retrieval systems only allow a fragment of text or an example image as a query. Most users have more complex information needs that are not easily expressed in either of...
247
click to vote
CONCUR
2012
Springer
13 years 7 months ago
2012
Springer
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
246
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
157
click to vote
CASCON
2007
15 years 6 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
159
click to vote
AAAI
2006
15 years 6 months ago
2006
Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...