1223 search results - page 168 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
100
click to vote
SIGSOFT
2002
ACM
16 years 19 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— One long-standing challenge in robotics is the realization of mobile autonomous robots able to operate safely in existing human workplaces in a way that their presence is accep...
114
click to vote
IPM
2002
14 years 11 months ago
2002
This paper proposes a new approach for classifying text documents into two disjoint classes. The new approach is based on extracting patterns, in the form of two logical expressio...
107
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...
106
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
Meeting power and performance requirement is a challenging task in high speed ALUs. Supply voltage scaling is promising because it reduces both switching and active power but it al...