9405 search results - page 1012 / 1881 » Computing a Model of Set Theory |
338
click to vote
POPL
2004
ACM
16 years 8 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
210
click to vote
SODA
2010
ACM
16 years 5 months ago
2010
ACM
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...
235
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
Social networking sites and other examples of online social spaces have greatly expanded their members’ opportunities for self expression and social interaction, while creating ...
250
click to vote
DLOG
2008
15 years 10 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
195
click to vote
AAAI
1994
15 years 9 months ago
1994
The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...