826 search results - page 140 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
AI
2007
Springer
13 years 8 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Query log analysis has received substantial attention in recent years, in which the click graph is an important technique for describing the relationship between queries and URLs....
MASCOTS
2004
13 years 9 months ago
2004
Architectural designs for routers and networks of routers to support mobile communication are analysed for their end-to-end performance using a simple Markov model. In view of the...
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...