8695 search results - page 336 / 1739 » Making the Complex Simple |
159
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
171
Voted
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
The extraction of textual content from colour documents of a graphical nature is a complicated task. The text can be rendered in any colour, size and orientation while the existen...
199
click to vote
SPIN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
179
click to vote
AIPS
2004
15 years 8 months ago
2004
Resource envelopes provide the tightest exact bounds on the resource consumption and production caused by all possible executions of a temporally flexible plan. We present a new c...
174
click to vote
TEDU
2011
15 years 1 months ago
2011
In the era of distributed digital media, technology is moving to the background and interoperability between devices increases. The handles for users to explore, make and break con...