624 search results - page 79 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
WIRTSCHAFTSINFORMATI
2007
13 years 10 months ago
2007
It has become common place in business life that companies with related operations engage in a so-called merger in order to benefit from synergies or from combined products and se...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Natural networks such as those between humans observed through their interactions or biological networks predicted based on various experimental measurements contain a wealth of i...
ICDAR
1999
IEEE
14 years 1 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
AMDO
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...