3273 search results - page 137 / 655 » types 2007 |
154
Voted
CASCON
2001
15 years 6 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
120
click to vote
CCCG
2001
15 years 6 months ago
2001
A recent progress on the complete enumeration of oriented matroids enables us to generate all combinatorial types of small point configurations and hyperplane arrangements in gene...
126
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
The paper describes a fuzzy decisionmalung approach to controlling thermal comfort in the occupied zones of an airconditioned building. The control objective is defined in terms o...
132
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
Flexible querying aims at expressing preferences inside queries instead of strict requirements. We consider ordinary relational databases and flexible querying calling on fuzzy se...
126
Voted
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...