4693 search results - page 612 / 939 » Verifying Hybrid Systems |
176
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
188
click to vote
AAAI
2004
15 years 8 months ago
2004
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...
138
click to vote
ECSCW
2001
15 years 8 months ago
2001
Current application-sharing systems support a single architecture for all collaborations, though different systems support different architectures We have developed a system that s...
156
click to vote
MS
2003
15 years 8 months ago
2003
Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of desi...
205
click to vote
ECWEB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Many current recommender systems exploit textual annotations (tags) provided by users to retrieve and suggest online contents. The text-based recommendation provided by t...