1864 search results - page 63 / 373 » Formal topology and domains |
164
click to vote
HAIS
2010
Springer
15 years 8 months ago
2010
Springer
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...
148
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
186
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
130
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
198
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...