19342 search results - page 143 / 3869 » Decentralised Process Modelling |
154
click to vote
STACS
2010
Springer
16 years 2 days ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
159
click to vote
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
151
click to vote
NIPS
2007
15 years 6 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (âˆ...
140
click to vote
IJCV
2007
15 years 5 months ago
2007
— This work presents an automatic algorithm for extracting vectorial land registers from altimetric data in dense urban areas. We focus on elementary shape extraction and propose...