899 search results - page 135 / 180 » A Temporal Language for SystemC |
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
126
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. User generated content in general, and blogs in particular, form an interesting and relatively little explored domain for mining knowledge. We address the task of blog di...
103
click to vote
AAAI
2010
15 years 2 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
128
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Organisational structures for multi-agent systems are usually defined independently of any spatial and temporal structure. Therefore, when the multi-agent system is situated in a ...
110
click to vote
NIPS
2008
15 years 2 months ago
2008
Offline handwriting recognition--the transcription of images of handwritten text--is an interesting task, in that it combines computer vision with sequence learning. In most syste...