4418 search results - page 313 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
167
click to vote
ITCC
2005
IEEE
16 years 8 days 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...
140
click to vote
ICDAR
2003
IEEE
15 years 12 months 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. ...
174
click to vote
ICDAR
2009
IEEE
15 years 4 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...
189
click to vote
ROBOCUP
2007
Springer
16 years 24 days 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...
181
Voted
CMMR
2004
Springer
16 years 3 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...