3001 search results - page 496 / 601 » Recursive type generativity |
126
click to vote
ELPUB
2006
ACM
15 years 11 months ago
2006
ACM
Walking is becoming increasingly popular as a leisure activity across Europe. Outdoor equipment has modernized, gained flexibility and lost weight. GPS devices are gaining popular...
175
click to vote
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
134
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
147
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
163
click to vote
IVA
2005
Springer
15 years 10 months ago
2005
Springer
this is via the ”Motion Abstraction”. This is a single abstraction that represents any type of animation of a character. Different implementations of the ion can provide very ...