2042 search results - page 228 / 409 » Automatic Understanding of Signals |
111
Voted
IJCNLP
2005
Springer
15 years 9 months 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...
132
Voted
SEKE
2005
Springer
15 years 9 months 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...
120
click to vote
PASTE
2004
ACM
15 years 9 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...
142
Voted
ACRI
2004
Springer
15 years 9 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...
145
Voted
DIAGRAMS
2004
Springer
15 years 9 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”...