Sciweavers

2623 search results - page 443 / 525
» Conceptual Application Domain Modelling
Sort
View
129
Voted
ICAIL
2005
ACM
15 years 9 months ago
Arguing about cases as practical reasoning
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
149
Voted
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 8 months ago
A Case Study of Hardware and Software Synthesis in ForSyDe
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
Ingo Sander, Axel Jantsch, Zhonghai Lu
IFIP
2010
Springer
15 years 8 months ago
Laban Movement Analysis towards Behavior Patterns
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
Luís Santos, Jorge Dias
AGENTS
2001
Springer
15 years 8 months ago
Automatically tracking and analyzing the behavior of live insect colonies
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
Tucker R. Balch, Zia Khan, Manuela M. Veloso
SCALESPACE
2001
Springer
15 years 8 months ago
A Multi-scale Feature Likelihood Map for Direct Evaluation of Object Hypotheses
This paper develops and investigates a new approach for evaluating feature based object hypotheses in a direct way. The idea is to compute a feature likelihood map (FLM), which is ...
Ivan Laptev, Tony Lindeberg