5170 search results - page 872 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
204
Voted
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
182
Voted
ECIS
2003
15 years 8 months ago
2003
Research problems in ICT networks often comprise coordination problems of information infrastructures and require state-of-the-art methods of coping with complex system dynamics. ...
162
Voted
IJCAI
1989
15 years 8 months ago
1989
Learning how to make decisions in a domain is a critical aspect of intelligent planning behavior. The ability of a planner to adapt its decision-making to a domain depends in part...
162
Voted
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
The sequence kernel has been shown to be a promising kernel function for learning from sequential data such as speech and DNA. However, it is not scalable to massive datasets due ...
176
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
This paper extends some duality results from a standard optimization setup to a noncooperative (Nash) game framework. A Nash game (NG) with coupled constraints is considered. Solv...