7839 search results - page 1428 / 1568 » What's there and what's not |
157
click to vote
KR
1991
Springer
15 years 4 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
132
click to vote
ISTCS
1992
Springer
15 years 4 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
115
click to vote
SIGLEX
1991
15 years 4 months ago
1991
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
119
click to vote
ACMSE
2009
ACM
15 years 4 months ago
2009
ACM
Most recent graphics courses are what we would call topdown courses. Courses that focus on using graphical packages to implement and teach graphics. The course discussed in this p...
126
click to vote
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Humans are inclined to engage in long-lasting relationships whose stability does not only rely on cooperation, but often also on loyalty — our tendency to keep interacting wi...