Sciweavers

11963 search results - page 2190 / 2393
» A framework for linguistic modelling
Sort
View
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 6 months ago
Pathways: Augmenting interoperability across scholarly repositories
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
Simeon Warner, Jeroen Bekaert, Carl Lagoze, Xiaomi...
CORR
2006
Springer
114views Education» more  CORR 2006»
15 years 6 months ago
Emergence Explained
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
Russ Abbott
CVGIP
2006
116views more  CVGIP 2006»
15 years 6 months ago
Autonomous behaviors for interactive vehicle animations
We present a method for synthesizing animations of autonomous space, water, and land-based vehicles in games or other interactive simulations. Controlling the motion of such vehic...
Jared Go, Thuc D. Vu, James J. Kuffner
DEBU
2006
121views more  DEBU 2006»
15 years 6 months ago
Probabilistic Data Management for Pervasive Computing: The Data Furnace Project
The wide deployment of wireless sensor and RFID (Radio Frequency IDentification) devices is one of the key enablers for next-generation pervasive computing applications, including...
Minos N. Garofalakis, Kurt P. Brown, Michael J. Fr...
ENTCS
2006
124views more  ENTCS 2006»
15 years 6 months ago
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
Shuvendu K. Lahiri, Madanlal Musuvathi
« Prev « First page 2190 / 2393 Last » Next »