2501 search results - page 297 / 501 » Logics with Rank Operators |
131
click to vote
FUZZIEEE
2007
IEEE
16 years 11 days ago
2007
IEEE
— Humans can control MIMO (Multiple-Input Multiple-Output) objects appropriately using knowledge of the MIMO object, which can be referred to as human MIMO control knowledge. An ...
186
click to vote
BTW
2007
Springer
16 years 7 days ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
161
click to vote
ICLP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
148
click to vote
ICMCS
2006
IEEE
16 years 2 days ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
139
click to vote
SAC
2006
ACM
16 years 1 hour ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...