6719 search results - page 1045 / 1344 » A Generalization of Automatic Sequences |
272
click to vote
CHARME
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
203
click to vote
CICLING
2005
Springer
16 years 29 days ago
2005
Springer
Information extraction is concerned with applying natural language processing to automatically extract the essential details from text documents. A great disadvantage of current ap...
211
click to vote
DBPL
2005
Springer
16 years 29 days ago
2005
Springer
XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legib...
193
click to vote
EDO
2005
Springer
16 years 29 days ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...
202
click to vote
EMSOFT
2005
Springer
16 years 29 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...