2996 search results - page 240 / 600 » Cross-lingual relevance models |
95
Voted
IJCAI
1993
15 years 2 months ago
1993
: This paper presents a causal simulation method for incompletely known dynamic systems in process engineering. The causal model of a process is represented as both a causal networ...
111
click to vote
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
105
click to vote
ENTCS
2008
15 years 23 days ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
92
Voted
IJCV
2008
15 years 21 days ago
2008
This paper shows (i) improvements over state-of-the-art local feature recognition systems, (ii) how to formulate principled models for automatic local feature selection in object c...
114
Voted
COMCOM
2004
15 years 17 days ago
2004
Broadband Wireless Access (BWA) systems use new network architectures to deliver broadband services in a fixed point-to-point or pointto-multipoint configuration to residential an...