4397 search results - page 588 / 880 » Relational Algebra Operations |
122
click to vote
AIIDE
2008
15 years 6 months ago
2008
Children do not learn the meanings of words from parsing and understanding gigabytes of text; instead meanings are learned from competent speakers who relate language to what'...
116
click to vote
WSC
2007
15 years 6 months ago
2007
General Motors (GM) has developed a first proof-ofconcept simulation model to explore impacts of various fire events in automotive paint shop operations. The approach uses a chron...
154
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
129
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
132
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...