Sciweavers

5336 search results - page 245 / 1068
» Steerable part models
Sort
View
CIKM
2007
Springer
15 years 10 months ago
Modeling historical and future movements of spatio-temporal objects in moving objects databases
Spatio-temporal databases deal with geometries changing over time. In general, geometries do not only change discretely but continuously; hence we are dealing with moving objects....
Reasey Praing, Markus Schneider
139
Voted
GECCO
2007
Springer
129views Optimization» more  GECCO 2007»
15 years 10 months ago
Achieving a simple development model for 3D shapes: are chemicals necessary?
Artificial Development Systems have been introduced as a technique aimed at increasing the scalability of evolutionary algorithms. Most commonly the development model is part of ...
Pauline C. Haddow, Johan Hoye
CODES
2006
IEEE
15 years 10 months ago
Accurate yet fast modeling of real-time communication
Accurate modeling of communication is a necessary part of system level design for real-time safety-critical applications. For efficient prediction of a system’s performance, Tra...
Gunar Schirner, Rainer Dömer
ECBS
2006
IEEE
119views Hardware» more  ECBS 2006»
15 years 10 months ago
A Model Transformation Approach for Design Pattern Evolutions
The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, ...
Jing Dong, Sheng Yang, Kang Zhang
130
Voted
ACSAC
2005
IEEE
15 years 10 months ago
Model Checking An Entire Linux Distribution for Security Violations
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
Benjamin Schwarz, Hao Chen, David Wagner, Jeremy L...