2232 search results - page 178 / 447 » Formal Modeling and Analysis of Organizations |
203
click to vote
ACMSE
2004
ACM
16 years 10 min ago
2004
ACM
In this paper, we survey recent advances in mobility modeling for mobile ad hoc network research. The advances include some new mobility models and analysis of older mobility mode...
207
click to vote
AVI
1996
15 years 7 months ago
1996
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
174
click to vote
ICECCS
2005
IEEE
16 years 5 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
177
click to vote
MLCW
2005
Springer
16 years 1 days ago
2005
Springer
This paper describes the Bar-Ilan system participating in the Recognising Textual Entailment Challenge. The paper proposes first a general probabilistic setting that formalizes th...
182
click to vote
IJCAI
2007
15 years 8 months ago
2007
We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...