13277 search results - page 2500 / 2656 » An Approach to Clustering Abstracts |
155
Voted
EGOV
2004
Springer
16 years 12 days ago
2004
Springer
In this paper, we present an approach based on hierarchically structured business models as artifacts of business process modeling that are used in a stepwise acquisition process f...
188
click to vote
FAABS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
195
click to vote
FMCAD
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
206
Voted
GECCO
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
211
Voted
LCTRTS
2004
Springer
16 years 11 days ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...