2042 search results - page 228 / 409 » Automatic Understanding of Signals |
153
click to vote
IJCNLP
2005
Springer
16 years 1 days ago
2005
Springer
This paper explores two linguistically motivated restrictions on the set of words used for topic tracking on newspaper articles: named entities and headline words. We assume that n...
172
click to vote
SEKE
2005
Springer
16 years 10 hour ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
160
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
183
click to vote
ACRI
2004
Springer
15 years 12 months ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
193
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...