4502 search results - page 435 / 901 » Regular Model Checking |
148
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper describes a simple and "pre-cortical" visual attention model, which does not take image directions into account. We compute rarity-based saliency maps and the...
174
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a system called E-Breaker for supporting small and medium size group authoring of any kind of documents following a regular structure. The system supports a de...
176
click to vote
MFCS
2005
Springer
16 years 11 days ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
170
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
168
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores and discusses the application of Software Agent in pattern layout design. First we introduce Pattern Decomposition Representation Model (PDM). By combining Agen...