Sciweavers

7326 search results - page 1245 / 1466
» Methods for modalities 3
Sort
View
EJIS
2007
115views more  EJIS 2007»
15 years 6 months ago
Towards agent-oriented model-driven architecture
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
Liang Xiao 0002, Des Greer
JSYML
2006
91views more  JSYML 2006»
15 years 6 months ago
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic (Fund. Math. 171 (2002)), we show that there exists a number n such that m Sm (the u...
Leszek Aleksander Kolodziejczyk
JUCS
2006
146views more  JUCS 2006»
15 years 6 months ago
Health Monitoring and Assistance to Support Aging in Place
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...
Diane J. Cook
JUCS
2006
114views more  JUCS 2006»
15 years 6 months ago
Pseudorandom Number Generation: Impossibility and Compromise
Abstract: Pseudorandom number generators are widely used in the area of simulation. Defective generators are still widely used in standard library programs, although better pseudor...
Makoto Matsumoto, Mutsuo Saito, Hiroshi Haramoto, ...
PAMI
2008
157views more  PAMI 2008»
15 years 6 months ago
Subpixel Photometric Stereo
Conventional photometric stereo recovers one normal direction per pixel of the input image. This fundamentally limits the scale of recovered geometry to the resolution of the input...
Ping Tan, Stephen Lin, Long Quan
« Prev « First page 1245 / 1466 Last » Next »