1864 search results - page 242 / 373 » Formal topology and domains |
169
click to vote
MUE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, a generalized multimedia database data model based on MPEG-7 named G3M is proposed and formally defined. Different from those XML Database Management System (DBMS) ...
151
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...
137
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— We describe a novel intelligent execution monitoring approach for mobile robots acting in indoor environments such as offices and houses. Traditionally, monitoring exe...
138
click to vote
BPM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
174
click to vote
CONTEXT
2007
Springer
16 years 24 days ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...