1830 search results - page 140 / 366 » Functional Programs as Linked Data |
128
click to vote
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...
117
click to vote
JAR
2008
15 years 3 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
106
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
In optimization problems involving large amounts of data, such as web content, commercial transaction information, or bioinformatics data, individual function evaluations may take ...
187
Voted
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
—Motion sensing input devices like Microsoft’s Kinect offer an alternative to traditional computer input devices like keyboards and mouses. Daily new applications using this in...
141
click to vote
JMIV
2007
15 years 3 months ago
2007
A recently proposed argument to explain the improved performance of the eight-point algorithm that results from using normalized data [IEEE Trans. Pattern Anal. Mach. Intell., 25(9...