1336 search results - page 201 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
135
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
139
click to vote
CIVR
2009
Springer
15 years 10 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
138
Voted
VRML
2003
ACM
15 years 8 months ago
2003
ACM
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...
145
Voted
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
149
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...