6020 search results - page 889 / 1204 » A New Approach to Model Counting |
290
click to vote
GIS
2005
ACM
16 years 7 months ago
2005
ACM
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...
202
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
179
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
171
click to vote
SI3D
2006
ACM
16 years 17 days ago
2006
ACM
Animating 3D faces to achieve compelling realism is a challenging task in the entertainment industry. Previously proposed face transfer approaches generally require a high-quality...
200
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...