3618 search results - page 30 / 724 » Additive functions for number systems in function fields |
120
Voted
COMPSAC
1996
IEEE
15 years 7 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
115
Voted
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Although they have potential, to date location-based information systems have not radically improved the way we interact with our surroundings. To study related issues, we develop...
127
Voted
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
102
Voted
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...