158 search results - page 24 / 32 » Strong logics of first and second order |
ENVSOFT
2006
15 years 1 months ago
2006
Norway's second largest gas field, Ormen Lange, is located 140 km west off Kristiansund at an unprecedented depth when it comes to exploration. It will be the first Norwegian...
132
click to vote
TIP
2008
15 years 1 months ago
2008
In many practical distributed source coding (DSC) applications, correlation information has to be estimated at the encoder in order to determine the encoding rate. Coding efficien...
123
click to vote
PODS
2002
ACM
16 years 2 months ago
2002
ACM
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
111
Voted
ICEBE
2006
IEEE
15 years 8 months ago
2006
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a well accepted approach to define inter-organizational business processes. UMM models should be managed in a registry for two reasons...
137
click to vote
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...