4126 search results - page 482 / 826 » Relationships with other Formalisms |
181
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...
210
click to vote
IUI
2006
ACM
16 years 21 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
157
click to vote
FOCS
2005
IEEE
16 years 10 days ago
2005
IEEE
We consider the problem of storing a large file on a remote and unreliable server. To verify that the file has not been corrupted, a user could store a small private (randomized...
185
click to vote
SAC
2005
ACM
16 years 9 days ago
2005
ACM
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
173
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...