Sciweavers

1837 search results - page 156 / 368
» Abstraction and the C Machine Model
Sort
View
ECML
2003
Springer
15 years 11 months ago
Logistic Model Trees
Abstract. Tree induction methods and linear models are popular techniques for supervised learning tasks, both for the prediction of nominal classes and continuous numeric values. F...
Niels Landwehr, Mark Hall, Eibe Frank
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
ER
2008
Springer
109views Database» more  ER 2008»
15 years 8 months ago
Value-Driven Coordination Process Design Using Physical Delivery Models
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
Roel Wieringa, Vincent Pijpers, Lianne Bodenstaff,...
KDID
2004
481views Database» more  KDID 2004»
15 years 8 months ago
Models and Indices for Integrating Unstructured Data with a Relational Database
Abstract. Database systems are islands of structure in a sea of unstructured data sources. Several real-world applications now need to create bridges for smooth integration of semi...
Sunita Sarawagi
ARCS
2009
Springer
16 years 1 months ago
Empirical Performance Models for Java Workloads
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
Pradeep Rao, Kazuaki Murakami