2624 search results - page 257 / 525 » The 2LIP model and its implementations |
103
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
—Homology modeling requires an accurate alignment between a query sequence and its homologs with known three-dimensional (3D) information. Current structural modeling techniques ...
112
Voted
WECWIS
2006
IEEE
15 years 6 months ago
2006
IEEE
UN/CEFACT’s modeling methodology (UMM) is used to develop global choreographies of inter-organizational business processes. UMM models should be publically available in order to...
94
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
131
click to vote
PACT
2005
Springer
15 years 6 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
131
Voted
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...