6253 search results - page 359 / 1251 » Use Case Modeling Guidelines |
146
click to vote
DEON
2010
Springer
15 years 6 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
104
click to vote
WSC
1998
15 years 5 months ago
1998
Simulation with Arena is used to analyze a controlled conveyor network with merging configuration (CNMC). We use simulation to realize the logic in a queueingtheoretic model (QTM)...
136
click to vote
AAMAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
137
click to vote
FCS
2009
15 years 2 months ago
2009
The number and length distribution of circuits or loops in a graph or network give important insights into its key characteristics. We discuss the circuit properties of various sm...
121
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We propose to improve speech recognition performance on speaker-independent, mixed language speech by asymmetric acoustic modeling. Mixed language is either inter-sentential code ...