2106 search results - page 314 / 422 » Operational Semantics for DyLPs |
202
click to vote
JIDM
2010
15 years 4 months ago
2010
The need for incorporating preference querying in database technology is a very important issue in a variety of applications ranging from e-commerce to personalized search engines....
157
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
239
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
192
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—P2P platforms have been criticized because of the heavy strain that some P2P services can inflict on costly interdomain links of network operators. It is therefore necessary to...
200
click to vote
TABLEAUX
2009
Springer
16 years 27 days ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...