1456 search results - page 53 / 292 » Two Techniques to Improve Finite Model Search |
ICNP
2000
IEEE
14 years 7 days ago
2000
IEEE
A scalable object location service can enable users to search for various objects in an environment where many small, networked devices are attached to objects. We investigate two...
TMI
1998
13 years 7 months ago
1998
—In this paper a method for the objective assessment of burn scars is proposed. The quantitative measures developed in this research provide an objective way to calculate elastic...
ICTAI
2010
IEEE
13 years 5 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
ENTCS
2006
13 years 7 months ago
2006
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
ICDE
2004
IEEE
14 years 9 months ago
2004
IEEE
An ever increasing amount of valuable information is stored in Web databases, "hidden" behind search interfaces. To save the user's effort in manually exploring eac...