2935 search results - page 571 / 587 » An Integrated Approach to High Integrity Software Verificati... |
138
Voted
SEMCO
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present LAIR: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and re...
168
click to vote
ICPPW
2009
IEEE
15 years 10 months ago
2009
IEEE
—Despite many technology advances, the limited computing power of sensors encumber them from taking part in service-oriented architectures. In recent years, the sensornetworking ...
164
click to vote
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
135
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We discuss an imaging architecture for sensor pixel in the ALOHA signals an event when a certain amount network applications, that employs a 32 x 32 Address-Event of photons are re...
127
click to vote
NPAR
2006
ACM
15 years 10 months ago
2006
ACM
We present techniques to create convincing high-quality watercolor illustrations of plants. Mainly focusing on the real-time rendering, we introduce methods to abstract the visual...