47 search results - page 7 / 10 » csp2B: A Practical Approach to Combining CSP and B |
IFIP
2000
Springer
13 years 10 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Computer assistance for breast conserving surgery requires a guidance method to assist a surgeon in locating tumor margin accurately. A wide array of guidance methods can be consid...
ISMIS
2003
Springer
14 years 8 days ago
2003
Springer
Object-Relational database management system is an integrated hybrid cooperative approach to combine the best practices of both the relational model utilizing SQL queries and the ...
ICVS
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
VLDB
2002
ACM
13 years 6 months ago
2002
ACM
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...