2514 search results - page 263 / 503 » The use of industrial-strength formal methods |
141
click to vote
IPL
2007
15 years 6 months ago
2007
We discuss a bottom-up parsing technique based on delayed reductions, and investigate its capabilities and limitations. Some non-LR(k) grammars, for any k, are handled determinist...
131
click to vote
ANOR
2002
15 years 6 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
176
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...
189
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
217
click to vote
WEA
2010
Springer
16 years 1 months ago
2010
Springer
We study the problem of finding good alternative routes in road networks. We look for routes that are substantially different from the shortest path, have small stretch, and are ...