2364 search results - page 377 / 473 » An Engine for Computing Well-Founded Models |
134
click to vote
ANSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...
136
click to vote
AINA
2010
IEEE
15 years 9 months ago
2010
IEEE
—In the offshore engineering community, reliable deep-water anchor performance is critical for mooring floating platforms such as Mobile Offshore Drilling Units. In a typical in...
174
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
Photo community sites such as Flickr and Picasa Web Album host a massive amount of personal photos with millions of new photos uploaded every month. These photos constitute an ove...
135
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
Providing a user with an effective image search engine has been a very active research area. A search by an object model is considered to be one of the most desirable and yet difï...
127
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...