2517 search results - page 479 / 504 » Specifying Weak Sets |
208
Voted
ATAL
2003
Springer
16 years 19 days ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
195
Voted
CICLING
2003
Springer
16 years 19 days ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
209
Voted
ICSE
2010
IEEE-ACM
16 years 6 days ago
2010
IEEE-ACM
We present views, a new approach to controlling concurrency. Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with tod...
198
click to vote
DESRIST
2009
Springer
16 years 1 days ago
2009
Springer
Simon’s The Sciences of the Artificial is rightly influential as a founding text in design research in the information systems field (IS). Simon’s contributions in the same vo...
213
click to vote
EDBT
2009
ACM
16 years 1 days ago
2009
ACM
Text corpora are often enhanced by additional metadata which relate real-world entities, with each document in which such entities are discussed. Such relationships are typically ...