4418 search results - page 313 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
186
click to vote
ITCC
2005
IEEE
16 years 1 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
170
click to vote
ICDAR
2003
IEEE
16 years 25 days ago
2003
IEEE
This paper proposes a simple voting scheme for off-line recognition of handprinted numerals. One of the main features of the proposed scheme is that this is not script dependent. ...
197
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
To exploit the road network in raster maps, the first step is to extract the pixels that constitute the roads and then vectorize the road pixels. Identifying colors that represent...
218
click to vote
ROBOCUP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
198
click to vote
CMMR
2004
Springer
16 years 28 days ago
2004
Springer
Although many artists have worked to create associations between music and animation, this has traditionally be done by developing one to suit the pre-existing other, as in visuali...