9730 search results - page 1557 / 1946 » Relating models of backtracking |
206
Voted
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
184
click to vote
BIBE
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the essential components of a virtual reality surgical simulation is deformation. Deformations in computer graphics and surgical simulations are commonly modeled with three...
175
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
New Web 2.0 applications, with their emphasis on collaboration and communication, hold the promise of major advances in social connectivity and coordination; however, they also in...
151
Voted
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
143
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...