3718 search results - page 148 / 744 » IMPS: System Description |
131
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
135
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
104
click to vote
AHS
2007
IEEE
15 years 11 months ago
2007
IEEE
Finite impulse response (FIR) structures are the most commonly used digital filters and can be found in various areas of everyday life. In this paper we introduce a novel approac...
142
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
140
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...